* New operators (Subset, SetEqual and RVarOccurrence) added to MathQL

[helm.git] / helm / ocaml / mathql_interpreter / dbconn.ml

diff --git a/helm/ocaml/mathql_interpreter/dbconn.ml b/helm/ocaml/mathql_interpreter/dbconn.ml
index fd207ba0321af92d4a286c09a032e90ca862a7a0..185ea011d60257881d1e35966b1c5a0b816a45b1 100644 (file)
--- 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