X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Fordertest.cc;h=8633415044a9cc1c304363585feed09a6db315cb;hp=1d9029098823bf6dcc4fae7ad9f7c923032e2ef4;hb=b6695ca5b5253125515ad1326efc3e6b793839a8;hpb=6b81425e00f5a8e1e563ff268cca3c9bce355bcb

diff --git a/src/Test/ordertest.cc b/src/Test/ordertest.cc
old mode 100644
new mode 100755
index 1d90290..8633415
--- a/src/Test/ordertest.cc
+++ b/src/Test/ordertest.cc
@@ -11,8 +11,8 @@ int main(int numargs, char **argv) {
 	uint64_t set1[] = {5, 1, 4};
 	Set *s = solver->createSet(0, set1, 3);
 	Order *order = solver->createOrder(SATC_TOTAL, s);
-	Boolean *b1 =  solver->orderConstraint(order, 5, 1);
-	Boolean *b2 =  solver->orderConstraint(order, 1, 4);
+	BooleanEdge b1 =  solver->orderConstraint(order, 5, 1);
+	BooleanEdge b2 =  solver->orderConstraint(order, 1, 4);
 	solver->addConstraint(b1);
 	solver->addConstraint(b2);
 	if (solver->solve() == 1)