X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=ed6b515c798bf476e00dda08fe0135d68d05a0fd;hb=eef875893d96b25d1b685fc9865b46c4267a31a6;hp=cf453c6f61b7d82b0424160ba119d226cbd8d52f;hpb=9519a138c26383f30f018376bc6cf875f8b0c82e;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index cf453c6f6..ed6b515c7 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -243,4 +243,3 @@ let execute q =
  * chiusura della connessione al database
  *)
 let close () = Dbconn.close ();;
-