From ed4159b617f49d3a024ac6e344c127d99208a0f7 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 23 Jul 2020 11:05:38 +0200
Subject: Actually update uninitialized evar instances (hum hum).

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

(limited to 'engine')

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