ocaml 3.09 transition

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

diff --git a/helm/ocaml/mathql_generator/cGLocateInductive.mli b/helm/ocaml/mathql_generator/cGLocateInductive.mli
index e4c6c1fa93badca714d4960f8d304269d22c191d..b6a51401e0805d16cad1a9ea6d1794b9396aa6bf 100644 (file)
--- a/helm/ocaml/mathql_generator/cGLocateInductive.mli
+++ b/helm/ocaml/mathql_generator/cGLocateInductive.mli
@@ -28,6 +28,4 @@
 
 val get_constraints : Cic.term -> MQGTypes.must_restrictions
 
-val universe        : MQGTypes.universe
-
 exception NotAnInductiveDefinition