Adding ASTTransform ...

[satune.git] / src / Backend / satencoder.cc

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 4b3189f834d6cc6d705ce4f37e14400618016642..cd1cb1713b746dfb112a51252a8c705ca855542f 100644 (file)
--- a/src/Backend/satencoder.cc
+++ b/src/Backend/satencoder.cc
@@ -35,7 +35,8 @@ void encodeAllSATEncoder(CSolver *csolver, SATEncoder *This) {
                model_print("Encoding All ...\n\n");
                Edge c = encodeConstraintSATEncoder(This, constraint);
                model_print("Returned Constraint in EncodingAll:\n");
-               addConstraintCNF(This->cnf, c);
+               if( equalsEdge(c, E_BOGUS) )
+                       addConstraintCNF(This->cnf, c);
        }
        delete iterator;
 }