Add Set AST Constructor

[satune.git] / src / constraint.c

diff --git a/src/constraint.c b/src/constraint.c
index 921096fae0cefa7a61373d76de3d661a7cdaaa5a..8b38540a59657bdca7b90bee60ed100a1aca9a3d 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.c
@@ -235,7 +235,7 @@ Constraint * generateEquivNVConstraint(uint numvars, Constraint **var1, Constrai
 Constraint * generateEquivConstraint(Constraint *var1, Constraint *var2) {
        Constraint * imp1=allocConstraint(OR, negateConstraint(cloneConstraint(var1)), var2);
        Constraint * imp2=allocConstraint(OR, var1, negateConstraint(cloneConstraint(var2)));
-                                                                                                                                               
+
        return allocConstraint(AND, imp1, imp2);
 }