Merging with branch master

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

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index 163bd199e643e86a90a9b7eaf8b0b7248cebcbef..bf97cbbafb296219b163740e6f59d51a1233c2eb 100644 (file)
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -42,6 +42,9 @@ CSolver * Deserializer::deserialize(){
                        case BOOLEANVAR:
                                deserializeBooleanVar();
                                break;
+                       case ORDERCONST:
+                               deserializeBooleanOrder();
+                               break;
                        default:
                                ASSERT(0);
                }