X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fproperty.mli;h=832fc5ecad8fe014d4768b2ccf85931836cd2267;hb=f41a5585a648d57e4d8a24d664b0a5ce5d591148;hp=cd02493bffc6854fd3febf1686086921cfd6db38;hpb=d6dd3cb8ee6718a0992a87e15a4b98b438d0f30d;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/property.mli b/helm/ocaml/mathql_interpreter/property.mli
index cd02493bf..832fc5eca 100644
--- 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