diff --git a/src/plugins/value/engine/transfer_specification.ml b/src/plugins/value/engine/transfer_specification.ml
index 4521648ffbbe9efce1e5e6a20a06226aba7309fb..0ddcbfb9a4a5772b0cce3b101da14533eb592f2a 100644
--- a/src/plugins/value/engine/transfer_specification.ml
+++ b/src/plugins/value/engine/transfer_specification.ml
@@ -291,7 +291,7 @@ module Make
           Value_parameters.warning ~current:true ~once:true
             ~wkey:Value_parameters.wkey_garbled_mix
             "The specification of function %a has generated a garbled mix \
-             for assigns clause %a."
+             for %a."
             Kernel_function.pretty kf pp_assign_free_alloc assign
         end
     in