From 0a23b2111c404a0a7141a0d5729cf3aa0bdf7798 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 13 Jul 2005 10:02:52 +0000 Subject: [PATCH] bugfix: "LPAREN" vs LPAREN --- helm/ocaml/cic_notation/cicNotationParser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_notation/cicNotationParser.ml b/helm/ocaml/cic_notation/cicNotationParser.ml index 01ed2906b..f4651d637 100644 --- a/helm/ocaml/cic_notation/cicNotationParser.ml +++ b/helm/ocaml/cic_notation/cicNotationParser.ml @@ -362,7 +362,7 @@ EXTEND return_term loc (CicNotationUtil.boxify p) | "break" -> return_term loc (Layout Break) (* | SYMBOL "\\SPACE" -> return_term loc (Layout Space) *) - | "LPAREN"; p = l1_pattern; "RPAREN" -> + | LPAREN; p = l1_pattern; RPAREN -> return_term loc (CicNotationUtil.boxify p) ] | "simple" NONA -- 2.39.2