X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FSerialize%2Fdeserializer.h;h=1a936743576dd3b8522ea69c2e0b2bf5464073bb;hp=6af58800ca8ec739be548f4e062bb7bf0c631642;hb=4c58af641a877bb6d65769994c8fd57ecedbd22c;hpb=917bc08fb2d0ea78f6492323d52a4465b517809a

diff --git a/src/Serialize/deserializer.h b/src/Serialize/deserializer.h
index 6af5880..1a93674 100644
--- a/src/Serialize/deserializer.h
+++ b/src/Serialize/deserializer.h
@@ -19,7 +19,7 @@
  */
 class Deserializer {
 public:
-	Deserializer(const char *file, bool alloy = false);
+	Deserializer(const char *file, InterpreterType itype = SATUNE);
 	CSolver *deserialize();
 	virtual ~Deserializer();
 private: