[wp] Removed unused warning key

src/plugins/wp/wp_parameters.ml

@@ -1065,10 +1065,6 @@ module MemoryContext =
       let help = "Warn Against Memory Model Hypotheses"
     end)
 
-let wkey_imprecise_hypotheses_assigns =
-  register_warn_category "hypotheses:assigns"
-let () = set_warn_status wkey_imprecise_hypotheses_assigns Log.Winactive
-
 let () = Parameter_customize.set_group wp_po
 let () = Parameter_customize.do_not_save ()
 
@@ -1080,10 +1076,6 @@ module CheckModelHypotheses =
                   check them on call. (experimental)"
     end)
 
-let wkey_imprecise_hypotheses_assigns =
-  register_warn_category "hypotheses:assigns"
-let () = set_warn_status wkey_imprecise_hypotheses_assigns Log.Winactive
-
 let () = Parameter_customize.set_group wp_po
 module OutputDir =
   String(struct

src/plugins/wp/wp_parameters.mli

@@ -156,8 +156,6 @@ module SmokeDeadloop: Parameter_sig.Bool
 module SmokeDeadcode: Parameter_sig.Bool
 module SmokeDeadcall: Parameter_sig.Bool
 
-val wkey_imprecise_hypotheses_assigns: warn_category
-
 (** {2 Getters} *)
 
 val has_out : unit -> bool