Adding a logicOp test case + fixing bugs

[satune.git] / src / Encoders / naiveencoder.c

diff --git a/src/Encoders/naiveencoder.c b/src/Encoders/naiveencoder.c
index da6700fa9edb059445a771ef13f16418ca42af7f..ef0e29e3b2b93c1fd2030b6c4a65871d79f9855c 100644 (file)
--- a/src/Encoders/naiveencoder.c
+++ b/src/Encoders/naiveencoder.c
@@ -30,6 +30,7 @@ void naiveEncodingConstraint(Boolean * This) {
        }
        case LOGICOP: {
                naiveEncodingLogicOp((BooleanLogic *) This);
+               return;
        }
        case PREDICATEOP: {
                naiveEncodingPredicate((BooleanPredicate *) This);