X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Fcnfexpr.cc;h=fb01d3f09b9d8957c9f6a4db1951ea1cd376586e;hb=516fb5585a776bde6277eeb3c46f09620dd20a5f;hp=1aa6cf0abc09d388cb89481b5b5cc822969d7f22;hpb=7c10dbd982d74cf1e96c06b3078e329c62e6a3e8;p=satune.git

diff --git a/src/Backend/cnfexpr.cc b/src/Backend/cnfexpr.cc
index 1aa6cf0..fb01d3f 100644
--- 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) {