]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/sortedby.ml
new MathQL syntax
[helm.git] / helm / ocaml / mathql_interpreter / sortedby.ml
index a629266840608b6c2b5eb415ac05a3b29ccffdd8..db2258d569974ecd229dcf4c08f4b53f72bd1452 100644 (file)
@@ -27,7 +27,7 @@
  * implementazione del comando SORTEDBY
  *)
 
-open Mathql;;
+open MathQL;;
 open Func;;
 open Utility;;