X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fccsolver.cc;h=7707b74babcd70149011e1af8b9dea1f624c7398;hp=ca206174148a35bccd80682a8231b015176036cb;hb=974a00584da88dce9c638bd5fd981f2164176e2c;hpb=38c275a74e1bd8fb93a43293aaed664acc9a8b03

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index ca20617..7707b74 100644
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -170,6 +170,10 @@ void printConstraints(void *solver) {
 	CCSOLVER(solver)->printConstraints();
 }
 
+void turnoffOptimizations(void *solver) {
+	CCSOLVER(solver)->turnoffOptimizations();
+}
+
 
 void serialize(void *solver) {
 	CCSOLVER(solver)->serialize();