diff --git a/src/plugins/scope/datascope.ml b/src/plugins/scope/datascope.ml
index 571263696fd43639f7b508b5d6aef3f0785c5230..cab823fbddcd551f41fab6cf076920875f52eb13 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)