[scope] Removes function rm_asserts from deprecated module Db.Value.

src/kernel_services/plugin_entry_points/db.ml

@@ -355,11 +355,6 @@ module Value = struct
            Cvalue.Model.pretty v)
 *)
 
-  (* -remove-redundant-alarms feature, applied at the end of an Eva analysis,
-     fulfilled by the Scope plugin that also depends on Eva. We thus use a
-     reference here to avoid a cyclic dependency. *)
-  let rm_asserts = mk_fun "Value.rm_asserts"
-
   let no_results = mk_fun "Value.no_results"
 
   let update_callstack_table ~after stmt callstack v =

src/kernel_services/plugin_entry_points/db.mli

@@ -316,10 +316,6 @@ module Value : sig
       on [Record_Value_Callbacks] and [Record_Value_Callbacks_New]
       should not force their lazy argument *)
 
-  (* -remove-redundant-alarms feature, applied at the end of an Eva analysis,
-     fulfilled by the Scope plugin that also depends on Eva. We thus use a
-     reference here to avoid a cyclic dependency. *)
-  val rm_asserts: (unit -> unit) ref
 
   (**/**)
   (** {3 Internal use only} *)

src/plugins/scope/datascope.ml

@@ -637,9 +637,6 @@ let rm_asserts () =
     CA_Map.iter aux to_be_removed
   end
 
-
-let () = Db.register Db.Value.rm_asserts rm_asserts [@alert "-db_deprecated"]
-
 let rm_asserts =
   Dynamic.register
     ~comment:"Remove redundant alarms. Used by the Eva plugin."