X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Frelation.mli;h=b32f36f3b5f36f4e81fec747d1cfc59db690be3d;hb=d59d2f93956bcbe4dd7bb3407e3c53de8b66c003;hp=71c93997046d303a78ddd1d635f8283215f68422;hpb=d6dd3cb8ee6718a0992a87e15a4b98b438d0f30d;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/relation.mli b/helm/ocaml/mathql_interpreter/relation.mli
index 71c939970..b32f36f3b 100644
--- a/helm/ocaml/mathql_interpreter/relation.mli
+++ b/helm/ocaml/mathql_interpreter/relation.mli
@@ -23,10 +23,10 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val relation_ex :
+val relation_ex : MQIConn.handle ->
  bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> MathQL.assign list-> MathQL.resource_set
 
 
-val relation_galax_ex :
+val relation_galax_ex : MQIConn.handle ->
 bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> MathQL.assign list -> MathQL.resource_set