Bug fix: typos

[satune.git] / src / Serialize / deserializer.cc

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index 548619fe221d45a380bb35933b08e08f552dafe1..d0cfb6cf8c01f7c4453c50d3641761e039e772d6 100644 (file)
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -17,7 +17,7 @@
 
 #define READBUFFERSIZE 16384
 
-Deserializer::Deserializer(const char *file) :
+Deserializer::Deserializer(const char *file, InterpreterType itype) :
        buffer((char *) ourmalloc(READBUFFERSIZE)),
        bufferindex(0),
        bufferbytes(0),
@@ -29,6 +29,9 @@ Deserializer::Deserializer(const char *file) :
        if (filedesc < 0) {
                exit(-1);
        }
+       if (itype != SATUNE) {
+               solver->setInterpreter(itype);
+       }
 }
 
 Deserializer::~Deserializer() {
@@ -153,8 +156,8 @@ void Deserializer::deserializeBooleanConst() {
        myread(&b, sizeof(BooleanVar *));
        bool istrue;
        myread(&istrue, sizeof(bool));
-       map.put(b, istrue?solver->getBooleanTrue().getBoolean():
-                       solver->getBooleanFalse().getBoolean());
+       map.put(b, istrue ? solver->getBooleanTrue().getBoolean() :
+                                       solver->getBooleanFalse().getBoolean());
 }
 
 void Deserializer::deserializeBooleanOrder() {