X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FEncoders%2Fnaiveencoder.h;fp=src%2FEncoders%2Fnaiveencoder.h;h=b07fd2fb0470e7c356d8bcca64c321799242ce36;hb=b4cf68cef113d8e869586f2447a2e49ba91dbf3c;hp=fe84a2b64eb874b13fc6ba284e1dba3080feb5b6;hpb=03f7de44d3d456bc658d2a400897e385ef6ea177;p=satune.git

diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index fe84a2b..b07fd2f 100644
--- a/src/Encoders/naiveencoder.h
+++ b/src/Encoders/naiveencoder.h
@@ -10,8 +10,8 @@
  */
 
 void naiveEncodingDecision(CSolver *csolver);
-void naiveEncodingConstraint(CSolver *csolver, Boolean *This);
-void naiveEncodingLogicOp(CSolver *csolver, BooleanLogic *This);
+void naiveEncodingConstraint(CSolver *csolver, HashsetBoolean *visited, Boolean *This);
+void naiveEncodingLogicOp(CSolver *csolver, HashsetBoolean *visited, BooleanLogic *This);
 void naiveEncodingPredicate(CSolver *csolver, BooleanPredicate *This);
 void naiveEncodingElement(CSolver *csolver, Element *This);
 #endif