X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fdbconn.ml;h=e46f89cb280180659b58d43d31552feea343dd0b;hb=1cfcea66d7394a785ec439cd6b03497b276918c4;hp=185ea011d60257881d1e35966b1c5a0b816a45b1;hpb=a86e50c2f080bd288d1a37b27fd4d0ea3044c5df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/dbconn.ml b/helm/ocaml/mathql_interpreter/dbconn.ml
index 185ea011d..e46f89cb2 100644
--- a/helm/ocaml/mathql_interpreter/dbconn.ml
+++ b/helm/ocaml/mathql_interpreter/dbconn.ml
@@ -31,7 +31,7 @@
  * le eccezioni lanciate dalle funzioni init e pgc sono
  * definite nel modulo Mathql 
  *)
-open Mathql;;
+open MathQL;;
 
 (*
  * paramentri della connessione