diff --git a/src/plugins/wp/wp_eva.disabled.ml b/src/plugins/wp/wp_eva.disabled.ml
index f7bfd518ed909182a3bf007ce51c647687c02c3e..ce50855dea4d4371eb78765078645b92aa6b8555 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