X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.mli;fp=helm%2Focaml%2Fmathql_interpreter%2Fmqint.mli;h=60f00f50c3da307f028ad0826d8f7eaa5147668d;hb=1cfcea66d7394a785ec439cd6b03497b276918c4;hp=55836d94033210a8150279210c3171d69aa9f89f;hpb=a86e50c2f080bd288d1a37b27fd4d0ea3044c5df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 55836d940..60f00f50c 100644
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -27,7 +27,7 @@
  * interfaccia dell'interprete MathQL
  *)
 
-open Mathql;;
+open MathQL;;
 
 (*
  * inizializzazione del database