From e7c29762b995827288f09f7ad736185fb090d39c Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 6 Apr 2021 13:30:13 +0200
Subject: Remove unused UnivProblem.Set.subst_univs

---
 engine/univProblem.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'engine/univProblem.mli')

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
-- 
cgit v1.2.3