X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FcGSearchPattern.mli;h=528283387766165831b53161157e75360926b44d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=83f6814142b937a04e07ca280a9e45c2efd5d1b7;hpb=96134b9ec1030ed15cea00d751dd4d744463f62c;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