X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FmQueryGenerator.mli;h=decaa0ea761be56f337c1b67a7d4cd02f33e1cf3;hb=96134b9ec1030ed15cea00d751dd4d744463f62c;hp=c4dc0f9e50903aa8d661fdf613cbab868a788ed3;hpb=12dd0be29a6a7dc6ac7a571fa99e2aa728fce4d2;p=helm.git

diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.mli b/helm/ocaml/mathql_generator/mQueryGenerator.mli
index c4dc0f9e5..decaa0ea7 100644
--- a/helm/ocaml/mathql_generator/mQueryGenerator.mli
+++ b/helm/ocaml/mathql_generator/mQueryGenerator.mli
@@ -28,9 +28,11 @@
 
 (* interface for the low-level constraints  *********************************)
 
-val locate  : string -> MathQL.query
+val locate     : string -> MathQL.query
 
-val compose : MQGTypes.spec list -> MathQL.query
+val unreferred : string -> string -> MathQL.query
+
+val compose    : MQGTypes.spec list -> MathQL.query
 
 (* interface for the high-level constraints  ********************************)