X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FCDL.cup;h=e6df103acbbac122346598cce8833221ebf1e77e;hp=74216907c51832266c2d7d183ce58c13f59d7466;hb=08fd782ecea5e9ce28ad24debbcb650c217e6fab;hpb=1f69c464c78b106f89d84c1c5f3209fb1e48ed12

diff --git a/Repair/RepairCompiler/MCC/CDL.cup b/Repair/RepairCompiler/MCC/CDL.cup
index 7421690..e6df103 100755
--- a/Repair/RepairCompiler/MCC/CDL.cup
+++ b/Repair/RepairCompiler/MCC/CDL.cup
@@ -299,6 +299,15 @@ quantifier ::=
 	q.addChild(set);
 	RESULT = q;
 	:}
+	| FORALL LT ID:r1 COMMA ID:r2 GT IN ID:relation
+	{:
+	debugMessage(PRODSTRING);
+	ParseNode q = new ParseNode("quantifier", parser.curLine(7));
+	q.addChild("relation", parser.curLine(1)).addChild(relation);
+	q.addChild("left", parser.curLine(5)).addChild(r1);
+	q.addChild("right", parser.curLine(3)).addChild(r2);
+	RESULT = q;
+	:}
 	;
 
 set ::=