X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Frelation.mli;fp=helm%2Focaml%2Fmathql_interpreter%2Frelation.mli;h=66df961c5b67a28117a8c99f631f62126be592e8;hb=49e52032242e39eba0cf24ca16a37c84b52cc356;hp=4a9d181e1e0e77e7c96e3ea38f89d1730b7eb2ab;hpb=e147acdb13c52328b712cb2c200bafbe8aadbcc4;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/relation.mli b/helm/ocaml/mathql_interpreter/relation.mli
index 4a9d181e1..66df961c5 100644
--- a/helm/ocaml/mathql_interpreter/relation.mli
+++ b/helm/ocaml/mathql_interpreter/relation.mli
@@ -24,7 +24,9 @@
  *)
 
 val relation_ex :
- MathQL.refine -> MathQL.path -> MathQL.resource_set -> string list -> MathQL.resource_set
+ bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> string list -> MathQL.resource_set
+
 
 val relation_galax_ex :
- MathQL.refine -> MathQL.path -> MathQL.resource_set -> string list -> MathQL.resource_set
+bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> string list -> MathQL.resource_set
+