From c5ea58f421eff2a519d6ad40fcf27274404f5cc5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 1 Jun 2022 16:47:12 +0200
Subject: [PATCH] [gui] Fixes a crash on the error dialog.
For instance when evaluating an invalid ACSL term.
---
src/plugins/gui/gtk_helper.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/gui/gtk_helper.ml b/src/plugins/gui/gtk_helper.ml
index 2a0af55e56d..cb7620b2253 100644
--- a/src/plugins/gui/gtk_helper.ml
+++ b/src/plugins/gui/gtk_helper.ml
@@ -741,7 +741,7 @@ class error_manager ?reset (o_parent:GWindow.window_skel) : host =
()
in
ignore (w#connect#response ~callback:(fun _ -> w#destroy ()));
- ignore (w#run ());
+ ignore (w#show ());
if reset then f_reset ()
method error ?parent ?(reset=false) fmt =
--
GitLab