From 4024c86a8a3cece5ebe6f7148dd2149715c1da7b Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Mon, 7 Feb 2022 16:59:04 +0100
Subject: [PATCH] [Users] Use the new Eva API
---
src/plugins/users/users_register.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/users/users_register.ml b/src/plugins/users/users_register.ml
index f556af9526d..a57f90f00f6 100644
--- a/src/plugins/users/users_register.ml
+++ b/src/plugins/users/users_register.ml
@@ -79,7 +79,7 @@ let get kf =
if Users.is_computed () then
find kf
else begin
- if Db.Value.is_computed () then begin
+ if Eva.Analysis.is_computed () then begin
feedback "requiring again the computation of the value analysis";
Project.clear
~selection:(State_selection.with_dependencies Db.Value.self)
@@ -87,7 +87,7 @@ let get kf =
end else
feedback ~level:2 "requiring the computation of the value analysis";
add_value_hook ();
- !Db.Value.compute ();
+ Eva.Analysis.compute ();
find kf
end
--
GitLab