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

diff --git a/helm/ocaml/mathql_interpreter/sortedby.ml b/helm/ocaml/mathql_interpreter/sortedby.ml
index a62926684..db2258d56 100644
--- a/helm/ocaml/mathql_interpreter/sortedby.ml
+++ b/helm/ocaml/mathql_interpreter/sortedby.ml
@@ -27,7 +27,7 @@
  * implementazione del comando SORTEDBY
  *)
 
-open Mathql;;
+open MathQL;;
 open Func;;
 open Utility;;