bugfix: "LPAREN" vs LPAREN

diff --git a/helm/ocaml/cic_notation/cicNotationParser.ml b/helm/ocaml/cic_notation/cicNotationParser.ml
index 01ed2906bd61cfbbb7c5f3ec3c39895295fbf533..f4651d6374e0452583be24f117eee5e6794f83aa 100644 (file)
--- 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