From: bdemsky <bdemsky@uci.edu>
Date: Sun, 3 Sep 2017 03:38:09 +0000 (-0700)
Subject: Bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3ecb35ec6bebb65520c085d264fa1d2f3ba96f80;p=satune.git

Bug fix
---

diff --git a/src/csolver.cc b/src/csolver.cc
index 9112e54..3e240a4 100644
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -292,7 +292,7 @@ BooleanEdge CSolver::applyLogicalOperation(LogicOp op, BooleanEdge *array, uint
 		} else if (newindex == 1) {
 			return newarray[0];
 		} else {
-			qsort(newarray, asize, sizeof(BooleanEdge), ptrcompares);
+			qsort(newarray, newindex, sizeof(BooleanEdge), ptrcompares);
 			array = newarray;
 			asize = newindex;
 		}