This one is Dan's. He misparses OR's as AND's for the model definition language...

diff --git a/Repair/RepairCompiler/MCC/MDL.cup b/Repair/RepairCompiler/MCC/MDL.cup
index 8c5e14f9fd90b455f07f273663a909bae57601cb..c7b00d00a93d4b00ed9974f6b85fffef505c6713 100755 (executable)
--- a/Repair/RepairCompiler/MCC/MDL.cup
+++ b/Repair/RepairCompiler/MCC/MDL.cup
@@ -593,7 +593,7 @@ expr ::=
        {:
        debugMessage(PRODSTRING);
        ParseNode bool = (new ParseNode("expr", parser.curLine(3))).addChild("operator");
-       bool.addChild("op").addChild("and");
+       bool.addChild("op").addChild("or");
        bool.addChild("left", parser.curLine(3)).addChild(leftexpr);
        bool.addChild("right", parser.curLine(1)).addChild(rightexpr);
        RESULT = bool.getRoot();