From c86aae3ec7b4e3bffe4db0ca214f54dcdad04473 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 10 Nov 2020 21:44:29 +0100
Subject: [PATCH] [Eva] fix duplicate words
---
src/plugins/value/engine/transfer_specification.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/engine/transfer_specification.ml b/src/plugins/value/engine/transfer_specification.ml
index 4521648ffbb..0ddcbfb9a4a 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
--
GitLab