X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2Fdbconn.ml;h=a6b1b2cce8351f15345a5bc6f01509762e31b852;hb=61872e154b77378c203e4a9b179b4067cfe7f23b;hp=db4b8fb9cf8542c05183af073b4fdfebbf886e62;hpb=d7e5adc6adcdcbc98964fa73b3d8e05cad428a6b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/dbconn.ml b/helm/ocaml/mathql_interpreter/dbconn.ml
index db4b8fb9c..a6b1b2cce 100644
--- a/helm/ocaml/mathql_interpreter/dbconn.ml
+++ b/helm/ocaml/mathql_interpreter/dbconn.ml
@@ -33,6 +33,12 @@
  *)
 open MathQL;;
 
+exception MQInvalidURI of string
+exception MQConnectionFailed of string
+exception MQInvalidConnection of string
+
+
+
 (*
  * paramentri della connessione
  *