X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FSerialize%2Fdeserializer.cc;h=eac11e9709296311733611220024de8898f34a4a;hp=8b1e3fd00cf1a81745763b8f0236dafea783a249;hb=4c58af641a877bb6d65769994c8fd57ecedbd22c;hpb=917bc08fb2d0ea78f6492323d52a4465b517809a;ds=sidebyside

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index 8b1e3fd..eac11e9 100644
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -17,7 +17,7 @@
 
 #define READBUFFERSIZE 16384
 
-Deserializer::Deserializer(const char *file, bool alloy) :
+Deserializer::Deserializer(const char *file, InterpreterType itype) :
 	buffer((char *) ourmalloc(READBUFFERSIZE)),
 	bufferindex(0),
 	bufferbytes(0),
@@ -29,8 +29,8 @@ Deserializer::Deserializer(const char *file, bool alloy) :
 	if (filedesc < 0) {
 		exit(-1);
 	}
-	if(alloy){
-		solver->setAlloyEncoder();
+	if(itype != SATUNE){
+		solver->setInterpreter(itype);
 	}
 }