X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.h;h=115006f82faaad6403574304d6d4170be42ea42a;hp=c1fd90b5ebd125b9f429527069149247e84857cb;hb=919a30124bede022af832c5e33e42151f7c38533;hpb=7ab5516d0205e463969af92c1b200a316d4a08f0

diff --git a/src/csolver.h b/src/csolver.h
index c1fd90b..115006f 100644
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -116,7 +116,7 @@ public:
 	void replaceBooleanWithTrue(Boolean *bexpr);
 	void replaceBooleanWithFalse(Boolean *bexpr);
 	void replaceBooleanWithBoolean(Boolean *oldb, Boolean *newb);
-
+	CSolver * clone();
 
 	MEMALLOC;