let load_notation ~include_paths fname =
let ic = open_in fname in
let lexbuf = Ulexing.from_utf8_channel ic in
- let status = ref LexiconSync.init in
+ let status = ref LexiconEngine.initial_status in
try
while true do
status := fst (GrafiteParser.parse_statement ~include_paths lexbuf !status)
let parse_environment ~include_paths str =
let lexbuf = Ulexing.from_utf8_string str in
- let status = ref LexiconSync.init in
+ let status = ref LexiconEngine.initial_status in
try
while true do
status := fst (GrafiteParser.parse_statement ~include_paths lexbuf !status)