functor added

[helm.git] / helm / mathql_test / mqtop.ml

diff --git a/helm/mathql_test/mqtop.ml b/helm/mathql_test/mqtop.ml
index f0e0dc877b6cfd28de4746c93142313f3ee0ad95..4c54653cd57a1634fc6ac3e00e5cb7de92029590 100644 (file)
--- 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