Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
authorClifford Wolf <clifford@clifford.at>
Fri, 10 Oct 2014 15:06:02 +0000 (17:06 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 10 Oct 2014 15:07:24 +0000 (17:07 +0200)
commit7cb0d3aa1acf37025e82846f809d066356a98843
tree876138751aacae1e16f8793efce55955461450fc
parent4569a747f8af3880e23408eb93323afc8088b78b
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
kernel/satgen.h
libs/ezsat/ezminisat.cc
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h
passes/sat/eval.cc