diff options
| author | Gaëtan Gilbert | 2021-04-06 13:30:13 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2021-04-06 13:30:13 +0200 |
| commit | e7c29762b995827288f09f7ad736185fb090d39c (patch) | |
| tree | fc48b9b8c813f2c84a7147d9c7e1b7914637e10f /engine/univProblem.mli | |
| parent | dc565f2898145536cc6d3cf4346b6a60726bb8a9 (diff) | |
Remove unused UnivProblem.Set.subst_univs
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 |