From: bdemsky <bdemsky@uci.edu>
Date: Wed, 18 Oct 2017 04:49:31 +0000 (-0700)
Subject: Bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=44b06433a75c430f8b7dda303b2294ea78892ec1

Bug fix
---

diff --git a/src/Backend/cnfexpr.cc b/src/Backend/cnfexpr.cc
index fb01d3f..b04044a 100644
--- a/src/Backend/cnfexpr.cc
+++ b/src/Backend/cnfexpr.cc
@@ -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;