X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FgTopLevel.ml;h=083bbc7ebac6ccfc279d69cd00911210519ae7c6;hb=4afb38bb0927c06ab4e64656f31cfc0fcb089b1e;hp=1d5650b1ca20670fdad520c77412c6a1bd924842;hpb=1808f15362ca07bb4ad5b6802afbf6789683f0bd;p=helm.git

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 1d5650b1c..083bbc7eb 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -1378,6 +1378,8 @@ let initialize_everything () =
 
 let _ =
  CicCooking.init () ;
+ Mquery.init () ;
  ignore (GtkMain.Main.init ()) ;
- initialize_everything ()
+ initialize_everything () ;
+ Mquery.close ()
 ;;