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.ml  | 5 ++++-
 engine/evd.mli | 5 ++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

(limited to 'engine')

diff --git a/engine/evd.ml b/engine/evd.ml
index 508ac0f65a..34de2f41bb 100644
--- a/engine/evd.ml
+++ b/engine/evd.ml
@@ -430,9 +430,12 @@ type evar_flags =
     restricted_evars : Evar.t Evar.Map.t;
     typeclass_evars : Evar.Set.t }
 
+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;
 }
 
 type evar_map = {
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