Edit

diff --git a/src/AST/rewriter.cc b/src/AST/rewriter.cc
index c49fcf5d2d5d0c2fcbe0acf1846737527330e07a..cdb2fb4be1ba2c6e44ac1e8fa29f5509f21bf84c 100644 (file)
--- a/src/AST/rewriter.cc
+++ b/src/AST/rewriter.cc
@@ -21,6 +21,7 @@ void CSolver::replaceBooleanWithTrueNoRemove(BooleanEdge bexpr) {
        uint size = bexpr->parents.getSize();
        for (uint i = 0; i < size; i++) {
                Boolean *parent = bexpr->parents.get(i);
+               ASSERT(parent->type == LOGICOP);
                BooleanLogic *logicop = (BooleanLogic *) parent;
                switch (logicop->op) {
                case SATC_AND: