X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fselect.ml;fp=helm%2Focaml%2Fmathql_interpreter%2Fselect.ml;h=1e53a4ba408a53339a328f12495f893bcc6e8507;hb=1cfcea66d7394a785ec439cd6b03497b276918c4;hp=4b2c264027b69651637bc2fb92b1c89cf20d8dd4;hpb=a86e50c2f080bd288d1a37b27fd4d0ea3044c5df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/select.ml b/helm/ocaml/mathql_interpreter/select.ml
index 4b2c26402..1e53a4ba4 100644
--- a/helm/ocaml/mathql_interpreter/select.ml
+++ b/helm/ocaml/mathql_interpreter/select.ml
@@ -27,7 +27,7 @@
  * implementazione del comando SELECT
  *)
 
-open Mathql;;
+open MathQL;;
 open Func;;
 open Utility;;