X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FcicNotationParser.ml;h=02c959ef78abd300712faf1d2238aa654f1c9369;hb=f27a3e2fa6aee86ef255842b51bdfa8a92a99ce5;hp=5750ad816805a841d64b61fcecdb5c7c826924db;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/content_pres/cicNotationParser.ml b/components/content_pres/cicNotationParser.ml
index 5750ad816..02c959ef7 100644
--- a/components/content_pres/cicNotationParser.ml
+++ b/components/content_pres/cicNotationParser.ml
@@ -637,6 +637,10 @@ let _ =
   parse_level2_ast_ref := parse_level2_ast;
   parse_level2_meta_ref := parse_level2_meta
 
+let parse_term lexbuf =
+  exc_located_wrapper
+    (fun () -> (Grammar.Entry.parse term (Obj.magic lexbuf)))
+
 (** {2 Debugging} *)
 
 let print_l2_pattern () =