]> matita.cs.unibo.it Git - helm.git/blobdiff - components/grafite_parser/grafiteParser.ml
matitadep ported to the new baseuri free model
[helm.git] / components / grafite_parser / grafiteParser.ml
index b5d803f9dcfc0dfce8b36f03782d49c84e9f711f..07ca6a6f1311218b01401d1f0cb9d8645ef86bd3 100644 (file)
@@ -728,3 +728,4 @@ let exc_located_wrapper f =
 let parse_statement lexbuf =
   exc_located_wrapper
     (fun () -> (Grammar.Entry.parse statement (Obj.magic lexbuf)))
+