From ed0c434a05a929a659e43aed80ab7c8179a7daa3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 13 Nov 2017 19:03:03 +0100
Subject: [api] Insert miscellaneous API deprecation back to core.

---
 engine/proofview.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine/proofview.mli')

diff --git a/engine/proofview.mli b/engine/proofview.mli
index d92d0a7d5..0379d4b49 100644
--- a/engine/proofview.mli
+++ b/engine/proofview.mli
@@ -426,7 +426,7 @@ module Unsafe : sig
   val tclGETGOALS : Evd.evar list tactic
 
   (** Sets the evar universe context. *)
-  val tclEVARUNIVCONTEXT : Evd.evar_universe_context -> unit tactic
+  val tclEVARUNIVCONTEXT : UState.t -> unit tactic
 
   (** Clears the future goals store in the proof view. *)
   val reset_future_goals : proofview -> proofview
-- 
cgit v1.2.3