functor added

[helm.git] / helm / ocaml / mathql_interpreter / mQILib.ml

diff --git a/helm/ocaml/mathql_interpreter/mQILib.ml b/helm/ocaml/mathql_interpreter/mQILib.ml
index b2260244582f625ceb568cc342d43db8ffc55619..a474857c55c9adfae7840f7970d5b742c51d4f88 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQILib.ml
+++ b/helm/ocaml/mathql_interpreter/mQILib.ml
@@ -29,7 +29,6 @@
 module M = MathQL
 module P = MQueryUtil 
 module C = MQIConn 
-module U = MQIUtil
 
 (* external function specification ******************************************)