]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/grafite_parser/cicNotation2.ml
- LexiconAst merged into GrafiteAst
[helm.git] / matita / components / grafite_parser / cicNotation2.ml
index e02517177578a3663a4f69e40a58d3202ba99420..47a21ae627c47be4735deff812c54b2bc9db2890 100644 (file)
 (* $Id$ *)
 
 let load_notation status ~include_paths fname =
+        assert false
+(*
   let ic = open_in fname in
   let lexbuf = Ulexing.from_utf8_channel ic in
   let status = ref status in
   try
    while true do
-    status := fst (GrafiteParser.parse_statement ~include_paths lexbuf !status)
+    status := fst (GrafiteParser.parse_statement lexbuf !status)
    done;
    assert false
   with End_of_file -> close_in ic; !status
+*)