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

---
 stm/stm.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stm')

diff --git a/stm/stm.ml b/stm/stm.ml
index 6c22d3771d..b394c3a135 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -1749,7 +1749,7 @@ end (* }}} *)
 
 and TacTask : sig
 
-  type output = (Constr.constr * Evd.evar_universe_context) option
+  type output = (Constr.constr * UState.t) option
   type task = {
     t_state    : Stateid.t;
     t_state_fb : Stateid.t;
@@ -1763,7 +1763,7 @@ and TacTask : sig
 
 end = struct (* {{{ *)
 
-  type output = (Constr.constr * Evd.evar_universe_context) option
+  type output = (Constr.constr * UState.t) option
   
   let forward_feedback msg = Hooks.(call forward_feedback msg)
 
@@ -1785,7 +1785,7 @@ end = struct (* {{{ *)
     r_name     : string }
 
   type response =
-    | RespBuiltSubProof of (Constr.constr * Evd.evar_universe_context)
+    | RespBuiltSubProof of (Constr.constr * UState.t)
     | RespError of Pp.t
     | RespNoProgress
 
-- 
cgit v1.2.3