Bug fix
authorbdemsky <bdemsky@uci.edu>
Wed, 18 Oct 2017 04:49:31 +0000 (21:49 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 18 Oct 2017 04:49:31 +0000 (21:49 -0700)
src/Backend/cnfexpr.cc

index fb01d3f..b04044a 100644 (file)
@@ -169,6 +169,7 @@ void copyCNF(CNFExpr *This, CNFExpr *expr, bool destroy) {
                ourfree(This->singletons.literals);
                ourfree(This->clauses.array);
                This->litSize = expr->litSize;
+               This->singletons.size = expr->singletons.size;
                This->singletons.literals = expr->singletons.literals;
                This->singletons.capacity = expr->singletons.capacity;
                This->clauses.size = expr->clauses.size;