diff --git a/src/plugins/dive/Makefile.in b/src/plugins/dive/Makefile.in
index 163f493c8caf5cb4c2b8361027c4b73ebcb73eb7..6c45a932adb8f5e784ff7abebe17ec4f3d880bb6 100644
--- a/src/plugins/dive/Makefile.in
+++ b/src/plugins/dive/Makefile.in
@@ -39,7 +39,7 @@ endif
 PLUGIN_DIR ?=.
 PLUGIN_NAME := Dive
 PLUGIN_CMO := self imprecision_graph build main
-PLUGIN_DEPENDENCIES:= Value Studia
+PLUGIN_DEPENDENCIES:= Eva Studia
 PLUGIN_HAS_MLI:= yes
 PLUGIN_TESTS_DIRS:=dive
 PLUGIN_GENERATED:=
diff --git a/src/plugins/dive/configure.ac b/src/plugins/dive/configure.ac
index 55b6144f5e6c05d4c0531ac794a7310728174620..79358234e19be6bf9030904d2c9c946a1f12242c 100644
--- a/src/plugins/dive/configure.ac
+++ b/src/plugins/dive/configure.ac
@@ -37,7 +37,7 @@ check_plugin(dive,PLUGIN_RELATIVE_PATH(plugin_file),
 # Plug-in dependencies
 ######################
 
-plugin_require(dive,value_analysis)
+plugin_require(dive,eva)
 plugin_require(dive,studia)
 #plugin_use(dive,usable_plugin_but_not_mandatory)