From d2b86fa09789bcee2745f6723d385fd453adea51 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 5 May 2021 15:48:09 +0200
Subject: [PATCH] [Eva] avoid crash in -eva-flamegraph after reset

---
 src/plugins/value/utils/value_perf.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/value/utils/value_perf.ml b/src/plugins/value/utils/value_perf.ml
index b4c455f6db5..548914728a9 100644
--- a/src/plugins/value/utils/value_perf.ml
+++ b/src/plugins/value/utils/value_perf.ml
@@ -442,7 +442,7 @@ let stop_doing_flamegraph callstack =
 let reset_flamegraph () =
   match !oc_flamegraph with
   | None -> ()
-  | Some fd -> close_out fd; stack_flamegraph := []
+  | Some fd -> close_out fd; stack_flamegraph := []; oc_flamegraph := None
 
 
 (* -------------------------------------------------------------------------- *)
-- 
GitLab