Merge PR coq#9927: Don't store closures in summary (reduction effects)

Reviewed-by: ppedrot
ggonthier · Apr 15, 2019 · 4b9119d · 4b9119d
2 parents 6d92ac4 + e9738ee
commit 4b9119d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pretyping/reductionops.ml b/pretyping/reductionops.ml
@@ -53,7 +53,7 @@ type effect_name = string
 let constant_effect_table = Summary.ref ~name:"reduction-side-effect" Cmap.empty
 
 (* Table bindings function key to effective functions *)
-let effect_table = Summary.ref ~name:"reduction-function-effect" String.Map.empty
+let effect_table = ref String.Map.empty
 
 (** a test to know whether a constant is actually the effect function *)
 let reduction_effect_hook env sigma con c =