X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FcicNotationParser.mli;h=978daf9ff99c1ce6f304663e86cb1c202f7c191a;hb=6449c9266eff9a5a7af7e7c13755abb5a20d61c3;hp=e25968bbbc4aa03cec62cda83aed3558086430e4;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/content_pres/cicNotationParser.mli b/components/content_pres/cicNotationParser.mli
index e25968bbb..978daf9ff 100644
--- a/components/content_pres/cicNotationParser.mli
+++ b/components/content_pres/cicNotationParser.mli
@@ -59,6 +59,8 @@ val let_defs :
   (CicNotationPt.capture_variable * CicNotationPt.term * int) list
     Grammar.Entry.e
 
+val parse_term: Ulexing.lexbuf -> CicNotationPt.term
+
 (** {2 Debugging} *)
 
   (** print "level2_pattern" entry on stdout, flushing afterwards *)