]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/func.ml
new MathQL syntax
[helm.git] / helm / ocaml / mathql_interpreter / func.ml
index 7f80da7f492f5d499eed9bc199493e735c60c732..314ad2b01db7a7b5428ddcfcd551d0ceed40c765 100644 (file)
@@ -29,7 +29,7 @@
 
 open Dbconn;;
 open Utility;;
-open Mathql;;
+open MathQL;;
 
 (*
  * implementazione della funzione NAME