diff options
Diffstat (limited to 'engine/univProblem.mli')
| -rw-r--r-- | engine/univProblem.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/engine/univProblem.mli b/engine/univProblem.mli index 575f5ac847..6c7a11f529 100644 --- a/engine/univProblem.mli +++ b/engine/univProblem.mli @@ -32,8 +32,6 @@ module Set : sig include Set.S with type elt = t val pr : t -> Pp.t - - val subst_univs : universe_subst_fn -> t -> t end type 'a accumulator = Set.t -> 'a -> 'a option |