From d91715f1697f4d44041529391eb43ba004b158eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 19 Jul 2022 11:29:06 +0200
Subject: [PATCH] [scope] Uses Eva public API instead of Db.Value.
---
src/plugins/scope/datascope.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/scope/datascope.ml b/src/plugins/scope/datascope.ml
index 571263696fd..cab823fbddc 100644
--- a/src/plugins/scope/datascope.ml
+++ b/src/plugins/scope/datascope.ml
@@ -613,8 +613,8 @@ let get_prop_scope_at_stmt kf stmt annot =
in Db *)
let emitter = lazy (
let conv = List.map Typed_parameter.get in
- let correctness = conv (Emitter.correctness_parameters !Db.Value.emitter) in
- let tuning = conv (Emitter.tuning_parameters !Db.Value.emitter) in
+ let correctness = conv (Emitter.correctness_parameters Eva.Analysis.emitter) in
+ let tuning = conv (Emitter.tuning_parameters Eva.Analysis.emitter) in
Emitter.create "RedundantAlarms" [Emitter.Property_status]
~correctness ~tuning)
--
GitLab