X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FcicNotationParser.ml;h=69ae68aeec37781191993b7e52fd7a447f196803;hb=b9185037db1db1c73031ce18eb943bdd7e170cdc;hp=088d1b69d690562e4ce74281f3109cccdee259d0;hpb=14724f9aab44f1b150a5509743a43cb6693d493e;p=helm.git

diff --git a/helm/software/components/content_pres/cicNotationParser.ml b/helm/software/components/content_pres/cicNotationParser.ml
index 088d1b69d..69ae68aee 100644
--- a/helm/software/components/content_pres/cicNotationParser.ml
+++ b/helm/software/components/content_pres/cicNotationParser.ml
@@ -458,6 +458,7 @@ EXTEND
     [ id = IDENT -> id, None, []
     | LPAREN; id = IDENT; vars = LIST1 possibly_typed_name; RPAREN ->
         id, None, vars
+    | id = IDENT; vars = LIST1 possibly_typed_name -> id, None, vars
     ]
   ];
   binder: [