From dd4830ba8dcefb813120a9ce1743fd2918a97c33 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 2 Oct 2024 15:04:42 +0200
Subject: [PATCH] [wp] make bytes model invisible in GUI
---
src/plugins/wp/gui/GuiPanel.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/wp/gui/GuiPanel.ml b/src/plugins/wp/gui/GuiPanel.ml
index fb7171d4252..4b25d1880a9 100644
--- a/src/plugins/wp/gui/GuiPanel.ml
+++ b/src/plugins/wp/gui/GuiPanel.ml
@@ -122,6 +122,7 @@ class model_selector (main : Design.main_window_extension_points) =
dialog#add_row r_hoare#coerce ;
dialog#add_row r_typed#coerce ;
dialog#add_row r_bytes#coerce ;
+ r_bytes#set_visible false ;
dialog#add_row r_eva#coerce ;
dialog#add_row c_casts#coerce ;
dialog#add_row c_byref#coerce ;
--
GitLab