X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FcGSearchPattern.mli;h=528283387766165831b53161157e75360926b44d;hb=506b4b7597021c98e34fb65cf9d0bb7879f06e92;hp=83f6814142b937a04e07ca280a9e45c2efd5d1b7;hpb=962cc970cd9a2161f69b70aa01b6ee9e289d9778;p=helm.git

diff --git a/helm/ocaml/mathql_generator/cGSearchPattern.mli b/helm/ocaml/mathql_generator/cGSearchPattern.mli
index 83f681414..528283387 100644
--- a/helm/ocaml/mathql_generator/cGSearchPattern.mli
+++ b/helm/ocaml/mathql_generator/cGSearchPattern.mli
@@ -34,4 +34,6 @@
 (*                                                                            *)
 (******************************************************************************)
 
-val get_constraints: Cic.term -> MQGTypes.must_restrictions
+val get_constraints : Cic.term -> MQGTypes.must_restrictions
+
+val universe        : MQGTypes.universe