ocaml 3.09 transition

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

diff --git a/helm/ocaml/mathql_generator/cGMatchConclusion.mli b/helm/ocaml/mathql_generator/cGMatchConclusion.mli
index a8340312f45df33e3b6c3f1a06a3d65f048c11f8..a9fbef47fc64a93043228de51855d86dd4817d91 100644 (file)
--- a/helm/ocaml/mathql_generator/cGMatchConclusion.mli
+++ b/helm/ocaml/mathql_generator/cGMatchConclusion.mli
@@ -29,3 +29,5 @@
 val get_constraints: Cic.metasenv -> Cic.context -> Cic.term ->
                      MQGTypes.r_obj list list *  
                     MQGTypes.r_obj list
+
+val universe       : MQGTypes.universe