tabbing
[satune.git] / src / Serialize / deserializer.cc
index 548619fe221d45a380bb35933b08e08f552dafe1..c9a708ce4e625311d905da22bb1b37781327b74f 100644 (file)
@@ -153,8 +153,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() {