Found bug... Don't update parent's list until we know we aren't going to be freed

[satune.git] / src / Backend / cnfexpr.cc

diff --git a/src/Backend/cnfexpr.cc b/src/Backend/cnfexpr.cc
index 1aa6cf0abc09d388cb89481b5b5cc822969d7f22..fb01d3f09b9d8957c9f6a4db1951ea1cd376586e 100644 (file)
--- a/src/Backend/cnfexpr.cc
+++ b/src/Backend/cnfexpr.cc
@@ -190,7 +190,7 @@ void copyCNF(CNFExpr *This, CNFExpr *expr, bool destroy) {
 
 void conjoinCNFExpr(CNFExpr *This, CNFExpr *expr, bool destroy) {
        if (expr->litSize == 0) {
-               if (!This->isTrue) {
+               if (!expr->isTrue) {
                        clearCNFExpr(This, false);
                }
                if (destroy) {