X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2Fmqtop.ml;fp=helm%2Fmathql_test%2Fmqtop.ml;h=4c54653cd57a1634fc6ac3e00e5cb7de92029590;hb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;hp=f0e0dc877b6cfd28de4746c93142313f3ee0ad95;hpb=efdc3184ccd0738fe48aa0056fc444fba23329e8;p=helm.git

diff --git a/helm/mathql_test/mqtop.ml b/helm/mathql_test/mqtop.ml
index f0e0dc877..4c54653cd 100644
--- a/helm/mathql_test/mqtop.ml
+++ b/helm/mathql_test/mqtop.ml
@@ -26,6 +26,9 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+let _ = MQueryStandard.init
+let _ = MQueryHELM.init 
+
 let _ =
    let module U = MQueryUtil in
    let module F = MQueryIO in