X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FcicNotationParser.ml;h=7aa4efe170cc3a52a32e9bfd2383ec06b7a5bbfc;hb=5412a7f12ed2034b4dfb6104440a2308d6a6e8e1;hp=02c959ef78abd300712faf1d2238aa654f1c9369;hpb=8d55798c22b29c00febc623234db5f57483c0401;p=helm.git

diff --git a/helm/software/components/content_pres/cicNotationParser.ml b/helm/software/components/content_pres/cicNotationParser.ml
index 02c959ef7..7aa4efe17 100644
--- a/helm/software/components/content_pres/cicNotationParser.ml
+++ b/helm/software/components/content_pres/cicNotationParser.ml
@@ -450,6 +450,7 @@ EXTEND
     [ LPAREN; id = single_arg; SYMBOL ":"; typ = term; RPAREN ->
         id, Some typ
     | arg = single_arg -> arg, None
+    | SYMBOL "_" -> Ast.Ident ("_", None), None
     ]
   ];
   match_pattern: [