projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3028ceb
)
Bug fix
author
bdemsky
<bdemsky@uci.edu>
Wed, 18 Oct 2017 04:49:31 +0000
(21:49 -0700)
committer
bdemsky
<bdemsky@uci.edu>
Wed, 18 Oct 2017 04:49:31 +0000
(21:49 -0700)
src/Backend/cnfexpr.cc
patch
|
blob
|
history
diff --git
a/src/Backend/cnfexpr.cc
b/src/Backend/cnfexpr.cc
index fb01d3f09b9d8957c9f6a4db1951ea1cd376586e..b04044ad914fef1b31ac4264bc7faedab9bed8ff 100644
(file)
--- 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;