Skip to content
GitLab
Explore
Sign in
Spot
divine-ltsmin-deb
Repository
divine-ltsmin-deb
tools
dvecompile.cpp
Find file
Blame
History
Permalink
Changed bool to int in exported functions
· ff31c5f7
Elwin Pater
authored
Nov 18, 2010
Also, changed char* to void* when appropriate. Signed-off-by:
Michael Weber
<
michaelw@cs.utwente.nl
>
ff31c5f7