| [] -> ""
| head :: tail ->
inputt#delete_text 0 inputlen;
- Mquery.locate head
+ MQueryGenerator.locate head
with
e -> "<h1 color=\"red\">" ^ Printexc.to_string e ^ "</h1>"
)
let (_,_,ty) =
List.find (function (m,_,_) -> m=metano) metasenv
in
- Mquery.backward ty level
+ MQueryGenerator.backward ty level
in
output_html outputhtml result
let _ =
CicCooking.init () ;
- Mquery.init () ;
+ MQueryGenerator.init () ;
ignore (GtkMain.Main.init ()) ;
initialize_everything () ;
- Mquery.close ()
+ MQueryGenerator.close ()
;;