diff --git a/src/plugins/eva/self.ml b/src/plugins/eva/self.ml
index c9ada9d12313cdb7d4dcd95ad0d433d9cc47bdad..5fb3cb9223b4f218576e43a3e0d1796fd8e1bed9 100644
--- a/src/plugins/eva/self.ml
+++ b/src/plugins/eva/self.ml
@@ -138,10 +138,11 @@ let () = set_warn_status wkey_missing_loop_unroll Log.Winactive
 let wkey_missing_loop_unroll_for = register_warn_category "loop-unroll:missing:for"
 let () = set_warn_status wkey_missing_loop_unroll_for Log.Winactive
 let wkey_signed_overflow = register_warn_category "signed-overflow"
-let wkey_invalid_assigns = register_warn_category "assigns:invalid"
+let wkey_invalid_assigns = register_warn_category "assigns:invalid-location"
 let () = set_warn_status wkey_invalid_assigns Log.Wfeedback
 let wkey_missing_assigns = register_warn_category "assigns:missing"
 let () = set_warn_status wkey_missing_assigns Log.Werror
+let wkey_missing_assigns_result = register_warn_category "assigns:missing-result"
 let wkey_experimental = register_warn_category "experimental"
 let wkey_unknown_size = register_warn_category "unknown-size"
 let wkey_ensures_false = register_warn_category "ensures-false"
diff --git a/src/plugins/eva/self.mli b/src/plugins/eva/self.mli
index 96b5d8e43656995721a9a3b0f51239e73d70fc70..0e05e69bb710893b044ddad5061212023c3a36e2 100644
--- a/src/plugins/eva/self.mli
+++ b/src/plugins/eva/self.mli
@@ -70,6 +70,7 @@ val wkey_missing_loop_unroll_for : warn_category
 val wkey_signed_overflow : warn_category
 val wkey_invalid_assigns : warn_category
 val wkey_missing_assigns : warn_category
+val wkey_missing_assigns_result : warn_category
 val wkey_experimental : warn_category
 val wkey_unknown_size : warn_category
 val wkey_ensures_false : warn_category