]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mqint.ml
commit of galax mathql interpreter
[helm.git] / helm / ocaml / mathql_interpreter / mqint.ml
index cf453c6f61b7d82b0424160ba119d226cbd8d52f..ed6b515c798bf476e00dda08fe0135d68d05a0fd 100644 (file)
@@ -243,4 +243,3 @@ let execute q =
  * chiusura della connessione al database
  *)
 let close () = Dbconn.close ();;
-