model and checks

[repair.git] / Repair / RepairCompiler / MCC / SDL.cup

diff --git a/Repair/RepairCompiler/MCC/SDL.cup b/Repair/RepairCompiler/MCC/SDL.cup
index 6604dcd02e35481f0e0e8be523cd9e68159cfaad..9423eda4aeec9e9cb17cbbd39dfe0f72fb57967a 100755 (executable)
--- a/Repair/RepairCompiler/MCC/SDL.cup
+++ b/Repair/RepairCompiler/MCC/SDL.cup
@@ -142,6 +142,7 @@ parser code {:
 
     terminal IMPLIES;
     terminal TRUE;
+    terminal FALSE;
     terminal ISVALID;
     terminal FOR;
     terminal TO;