diff --git a/src/plugins/scope/datascope.ml b/src/plugins/scope/datascope.ml
index d4cab9e063d6590ddcd1586d9fafb89941ba01e1..26d5806673e8aca286bbdc294cd813dc5c2202cd 100644
--- a/src/plugins/scope/datascope.ml
+++ b/src/plugins/scope/datascope.ml
@@ -28,11 +28,13 @@ open Cil_types
 let cat_rm_asserts_name = "rm_asserts"
 let () = Plugin.default_msg_keys [cat_rm_asserts_name]
 
+let name = "scope"
+
 module R =
   Plugin.Register
     (struct
-      let name = "scope"
-      let shortname = "scope"
+      let name = name
+      let shortname = name
       let help = "data dependencies higher level functions"
     end)
 
@@ -694,6 +696,15 @@ let () =
        ("Value.rm_asserts", Datatype.func Datatype.unit Datatype.unit))
     Db.Value.rm_asserts rm_asserts
 
+let rm_asserts =
+  Dynamic.register
+    ~comment:"Remove redundant alarms. Used by the Eva plugin."
+    ~plugin:name
+    "rm_asserts"
+    Datatype.(func unit unit)
+    ~journalize:true
+    rm_asserts
+
 (*
 Local Variables:
 compile-command: "make -C ../../.."