let load_notation fname =
let ic = open_in fname in
- let istream = Stream.of_channel ic in
+ let lexbuf = Ulexing.from_utf8_channel ic in
try
while true do
- match GrafiteParser.parse_statement istream with
+ match GrafiteParser.parse_statement lexbuf with
| Executable (_, Command (_, cmd)) -> ignore (process_notation cmd)
| _ -> ()
done