ocaml 3.09 transition

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

diff --git a/helm/ocaml/mathql_generator/cGSearchPattern.mli b/helm/ocaml/mathql_generator/cGSearchPattern.mli
index 83f6814142b937a04e07ca280a9e45c2efd5d1b7..528283387766165831b53161157e75360926b44d 100644 (file)
--- 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