X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_notation%2FcicNotationParser.ml;h=f4651d6374e0452583be24f117eee5e6794f83aa;hb=57b43a967eaf3b0747350cd775d4301a53af2820;hp=01ed2906bd61cfbbb7c5f3ec3c39895295fbf533;hpb=ba2dfe6409e95bf9e558dc0d4be382b068671409;p=helm.git

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