More edits

[satune.git] / src / AST / boolean.h

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 9864d9bb3d39ff7ffcebb8ac01df2e5d93a9db80..467ceb1a24608d49eac44c2620800be6b2dea1c9 100644 (file)
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -56,7 +56,8 @@ public:
        Boolean *clone(CSolver *solver, CloneMap *map);
        void serialize(Serializer *serializer );
        virtual void print();
-
+       void updateParents();
+       
        Order *order;
        uint64_t first;
        uint64_t second;