MQueryInterpreter: interface updated

[helm.git] / helm / ocaml / mathql_interpreter / property.mli

diff --git a/helm/ocaml/mathql_interpreter/property.mli b/helm/ocaml/mathql_interpreter/property.mli
index cd02493bffc6854fd3febf1686086921cfd6db38..832fc5ecad8fe014d4768b2ccf85931836cd2267 100644 (file)
--- a/helm/ocaml/mathql_interpreter/property.mli
+++ b/helm/ocaml/mathql_interpreter/property.mli
@@ -23,5 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val property_ex: MathQL.refine -> MathQL.path -> bool -> MathQL.value -> MathQL.value
+val property_ex: MQIConn.handle -> MathQL.refine -> MathQL.path -> bool -> MathQL.value -> MathQL.value