new MathQL syntax

[helm.git] / helm / ocaml / mathql_interpreter / mqint.mli

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 55836d94033210a8150279210c3171d69aa9f89f..60f00f50c3da307f028ad0826d8f7eaa5147668d 100644 (file)
--- 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