X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQILib.ml;fp=helm%2Focaml%2Fmathql_interpreter%2FmQILib.ml;h=a474857c55c9adfae7840f7970d5b742c51d4f88;hb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;hp=b2260244582f625ceb568cc342d43db8ffc55619;hpb=efdc3184ccd0738fe48aa0056fc444fba23329e8;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQILib.ml b/helm/ocaml/mathql_interpreter/mQILib.ml
index b22602445..a474857c5 100644
--- 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 ******************************************)