Fix memory bug

[satune.git] / src / Test / buildconstraints.c

diff --git a/src/Test/buildconstraints.c b/src/Test/buildconstraints.c
index ef6ea465087445e5e9f9691e0f94d52c89922446..caa8a92bd9dfeaddf92b6df6b6e9291f206303bc 100644 (file)
--- a/src/Test/buildconstraints.c
+++ b/src/Test/buildconstraints.c
@@ -11,5 +11,8 @@ int main(int numargs, char ** argv) {
        Element * inputs[]={e1, e2};
        Boolean * b=applyPredicate(solver, equals, inputs, 2);
        addBoolean(solver, b);
+       Order * o=createOrder(solver, TOTAL, s);
+       Boolean * oc=orderConstraint(solver, o, 1, 2);
+       addBoolean(solver, oc);
        deleteSolver(solver);
 }