diff --git a/src/plugins/eva/dune b/src/plugins/eva/dune
index e2c9a5d3e0a34e273c5cdc221405ebca15dcdfa4..589387e2eda9f3eec9800160bc5a89a1b7dd86fd 100644
--- a/src/plugins/eva/dune
+++ b/src/plugins/eva/dune
@@ -59,8 +59,7 @@
   (public_name frama-c-eva.gui)
   (flags -open Frama_c_kernel -open Frama_c_gui -open Eva__Private :standard -w -9 -alert -db_deprecated)
   (libraries eva frama-c.kernel frama-c.gui)
-  (instrumentation (backend landmarks))
-  (instrumentation (backend bisect_ppx))))
+  (instrumentation (backend landmarks))))
 
 (plugin
  (name eva-gui)