X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fdbconn.ml;h=185ea011d60257881d1e35966b1c5a0b816a45b1;hb=7f510b2df638258669d6539861a3f06ed5fab773;hp=fd207ba0321af92d4a286c09a032e90ca862a7a0;hpb=9f45f8febfade5e1dca7a022154f2635be2af9b2;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/dbconn.ml b/helm/ocaml/mathql_interpreter/dbconn.ml
index fd207ba03..185ea011d 100644
--- a/helm/ocaml/mathql_interpreter/dbconn.ml
+++ b/helm/ocaml/mathql_interpreter/dbconn.ml
@@ -39,8 +39,8 @@ open Mathql;;
  * TODO: bisogna scegliere se questi parametri vengono
  * passati come argomento
  *)
-(*let connection_param = "dbname=helm";;*)
-let connection_param = "host=dotto.cs.unibo.it dbname=helm user=helm";;
+let connection_param = "dbname=helm";;
+(*let connection_param = "host=dotto.cs.unibo.it dbname=helm user=helm";;*)
 
 (*
  * connessione al db