- new generated query "unreferred" implemented at server side

[helm.git] / helm / ocaml / mathql_generator / mQueryGenerator.mli

diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.mli b/helm/ocaml/mathql_generator/mQueryGenerator.mli
index c4dc0f9e50903aa8d661fdf613cbab868a788ed3..decaa0ea761be56f337c1b67a7d4cd02f33e1cf3 100644 (file)
--- 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  ********************************)