From c334e45097d761085159598427be806bd5b142d2 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 25 Jul 2024 10:49:31 +0200
Subject: [PATCH] [wp] avoid warning 27 when Eva is disabled

---
 src/plugins/wp/wp_eva.disabled.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/wp/wp_eva.disabled.ml b/src/plugins/wp/wp_eva.disabled.ml
index f7bfd518ed9..ce50855dea4 100644
--- a/src/plugins/wp/wp_eva.disabled.ml
+++ b/src/plugins/wp/wp_eva.disabled.ml
@@ -21,4 +21,4 @@
 (**************************************************************************)
 
 let is_computed () = false
-let get_cvalue_state kinstr = Cvalue.Model.top
+let get_cvalue_state _kinstr = Cvalue.Model.top
-- 
GitLab