]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/gTopLevel.ml
- mathql interpreter flags reorganized
[helm.git] / helm / gTopLevel / gTopLevel.ml
index 69ad5d5025d7b9d284bfc957f41cef31eb9ef647..9ff7e8fc6cc13a386c41ee316103150abaeb6fae 100644 (file)
@@ -62,7 +62,7 @@ let _ =
 (* GLOBAL CONSTANTS *)
 
 let mqi_debug_fun s = debug_print ~level:2 s
-let mqi_handle = MQIC.init mqi_debug_fun
+let mqi_handle = MQIC.init ~log:mqi_debug_fun ()
 
 let xlinkns = Gdome.domString "http://www.w3.org/1999/xlink";;