ocaml 3.09 transition

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

diff --git a/helm/ocaml/mathql_generator/mQGUtil.mli b/helm/ocaml/mathql_generator/mQGUtil.mli
index bb623cc86c74ddb4b5e4a9966375e36c41a30d24..065abb1573a30b3015c234cd5ebb0860c5557127 100644 (file)
--- a/helm/ocaml/mathql_generator/mQGUtil.mli
+++ b/helm/ocaml/mathql_generator/mQGUtil.mli
@@ -67,8 +67,3 @@ val set_full_position : MQGTypes.full_position -> MQGTypes.optional_depth ->
                         MQGTypes.full_position
 val set_main_position : MQGTypes.main_position -> MQGTypes.optional_depth ->
                         MQGTypes.main_position
-
-(* these functions give some universes for "query_of_constraints"  ---------*)
-
-val universe_for_search_pattern   : MQGTypes.universe
-val universe_for_match_conclusion : MQGTypes.universe