Quick patch to make everything work with MySql.

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

diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.ml b/helm/ocaml/mathql_interpreter/mQIProperty.ml
index 639fc6bb00f4baef2003dbcd3dcf60907d1deeba..0433afd5eb37fdd051be9136204a15e81f5ede6c 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIProperty.ml
+++ b/helm/ocaml/mathql_interpreter/mQIProperty.ml
@@ -27,7 +27,7 @@
  *)
 
 module M = MathQL
-module P = MQIPostgres
+module P = MQIDataBase
 module C = MQIConn
 module U = MQIUtil
 module A = MQIMap