]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/select.ml
new MathQL syntax
[helm.git] / helm / ocaml / mathql_interpreter / select.ml
index 4b2c264027b69651637bc2fb92b1c89cf20d8dd4..1e53a4ba408a53339a328f12495f893bcc6e8507 100644 (file)
@@ -27,7 +27,7 @@
  * implementazione del comando SELECT
  *)
 
-open Mathql;;
+open MathQL;;
 open Func;;
 open Utility;;