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 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'engine/evd.ml')

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