Edit
authorHamed <hamed.gorjiara@gmail.com>
Mon, 4 Sep 2017 20:31:36 +0000 (13:31 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Mon, 4 Sep 2017 20:31:36 +0000 (13:31 -0700)
src/AST/rewriter.cc

index c49fcf5..cdb2fb4 100644 (file)
@@ -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: