Adding SMT Interpreters

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

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index 8b1e3fd00cf1a81745763b8f0236dafea783a249..eac11e9709296311733611220024de8898f34a4a 100644 (file)
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -17,7 +17,7 @@
 
 #define READBUFFERSIZE 16384
 
 
 #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),
        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 (filedesc < 0) {
                exit(-1);
        }

-       if(alloy){
-               solver->setAlloyEncoder();
+       if(itype != SATUNE){
+               solver->setInterpreter(itype);

        }
 }
 
        }
 }