diff options
Diffstat (limited to 'engine/universes.mli')
-rw-r--r-- | engine/universes.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/engine/universes.mli b/engine/universes.mli index 3e397ed57..4d7105e72 100644 --- a/engine/universes.mli +++ b/engine/universes.mli @@ -36,8 +36,6 @@ val normalize_context_set : UGraph.t -> ContextSet.t -> UPairSet.t (* weak equality constraints *) -> (universe_opt_subst * LSet.t) in_universe_context_set -val refresh_constraints : UGraph.t -> ContextSet.t -> ContextSet.t * UGraph.t - (** *********************************** Deprecated *) [@@@ocaml.warning "-3"] |