X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FcicNotationParser.ml;h=d110bda9a65d10b6cabfc0074a798e5bd7040786;hb=1fa0edadead8eff6808429323c634171f44dc50f;hp=69ae68aeec37781191993b7e52fd7a447f196803;hpb=f9512e878bd27f8cb5261bb18b0da0d42c8184d0;p=helm.git

diff --git a/components/content_pres/cicNotationParser.ml b/components/content_pres/cicNotationParser.ml
index 69ae68aee..d110bda9a 100644
--- a/components/content_pres/cicNotationParser.ml
+++ b/components/content_pres/cicNotationParser.ml
@@ -452,6 +452,8 @@ EXTEND
         id, Some typ
     | arg = single_arg -> arg, None
     | SYMBOL "_" -> Ast.Ident ("_", None), None
+    | LPAREN; SYMBOL "_"; SYMBOL ":"; typ = term; RPAREN ->
+        Ast.Ident ("_", None), Some typ
     ]
   ];
   match_pattern: [