X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FmQueryGenerator.mli;h=decaa0ea761be56f337c1b67a7d4cd02f33e1cf3;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c4dc0f9e50903aa8d661fdf613cbab868a788ed3;hpb=0e74e8e94eada756157addce67e4adeb8dff1feb;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  ********************************)