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;
void conjoinCNFExpr(CNFExpr *This, CNFExpr *expr, bool destroy) {
if (expr->litSize == 0) {
- if (!This->isTrue) {
+ if (!expr->isTrue) {
clearCNFExpr(This, false);
}
if (destroy) {