X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Ffunc.ml;h=314ad2b01db7a7b5428ddcfcd551d0ceed40c765;hb=1cfcea66d7394a785ec439cd6b03497b276918c4;hp=7f80da7f492f5d499eed9bc199493e735c60c732;hpb=a86e50c2f080bd288d1a37b27fd4d0ea3044c5df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/func.ml b/helm/ocaml/mathql_interpreter/func.ml
index 7f80da7f4..314ad2b01 100644
--- a/helm/ocaml/mathql_interpreter/func.ml
+++ b/helm/ocaml/mathql_interpreter/func.ml
@@ -29,7 +29,7 @@
 
 open Dbconn;;
 open Utility;;
-open Mathql;;
+open MathQL;;
 
 (*
  * implementazione della funzione NAME