From 929ecfe0cd8cd3edec41416491e286e4c105ffa6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 8 Jun 2019 16:50:32 +0200
Subject: Move the side-effect role out of Entries into Evd.

---
 engine/evd.mli | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'engine/evd.mli')

diff --git a/engine/evd.mli b/engine/evd.mli
index 46b69de232..5478431e14 100644
--- a/engine/evd.mli
+++ b/engine/evd.mli
@@ -307,9 +307,12 @@ val dependent_evar_ident : Evar.t -> evar_map -> Id.t
 
 (** {5 Side-effects} *)
 
+type side_effect_role =
+| Schema of inductive * string
+
 type side_effects = {
   seff_private : Safe_typing.private_constants;
-  seff_roles : Entries.side_effect_role Cmap.t;
+  seff_roles : side_effect_role Cmap.t;
 }
 
 val empty_side_effects : side_effects
-- 
cgit v1.2.3