diff options
Diffstat (limited to 'engine')
| -rw-r--r-- | engine/evd.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/engine/evd.ml b/engine/evd.ml index 6bbfddd988..1c091d2c24 100644 --- a/engine/evd.ml +++ b/engine/evd.ml @@ -152,7 +152,10 @@ struct let make s = ref (Some s) let none () = ref None let repr sign filter s = match !s with - | None -> Filter.filter_list filter sign.env_named_var + | None -> + let ans = Filter.filter_list filter sign.env_named_var in + let () = s := Some ans in + ans | Some s -> s let is_identity l s = match !s with | None -> false |