]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/dbconn.ml
new MathQL syntax
[helm.git] / helm / ocaml / mathql_interpreter / dbconn.ml
index 185ea011d60257881d1e35966b1c5a0b816a45b1..e46f89cb280180659b58d43d31552feea343dd0b 100644 (file)
@@ -31,7 +31,7 @@
  * le eccezioni lanciate dalle funzioni init e pgc sono
  * definite nel modulo Mathql 
  *)
-open Mathql;;
+open MathQL;;
 
 (*
  * paramentri della connessione