Bug fix: typos

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

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index eac11e9709296311733611220024de8898f34a4a..d0cfb6cf8c01f7c4453c50d3641761e039e772d6 100644 (file)
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -29,7 +29,7 @@ Deserializer::Deserializer(const char *file, InterpreterType itype) :
        if (filedesc < 0) {
                exit(-1);
        }
-       if(itype != SATUNE){
+       if (itype != SATUNE) {
                solver->setInterpreter(itype);
        }
 }