summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-10-10 17:06:02 +0200
committerClifford Wolf <clifford@clifford.at>2014-10-10 17:07:24 +0200
commit7cb0d3aa1acf37025e82846f809d066356a98843 (patch)
tree876138751aacae1e16f8793efce55955461450fc /libs/ezsat/ezminisat.cc
parent4569a747f8af3880e23408eb93323afc8088b78b (diff)
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
Diffstat (limited to 'libs/ezsat/ezminisat.cc')
-rw-r--r--libs/ezsat/ezminisat.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index dc4e5d28..267355ad 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -37,8 +37,8 @@ ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
minisatSolver = NULL;
foundContradiction = false;
- freeze(TRUE);
- freeze(FALSE);
+ freeze(CONST_TRUE);
+ freeze(CONST_FALSE);
}
ezMiniSAT::~ezMiniSAT()