Commit e2fcacdf authored by David Bühler's avatar David Bühler

Merge branch 'fix/eva/duplicate-msg' into 'stable/titanium'

[Eva] fix duplicate words

See merge request frama-c/frama-c!2942
parents 83db8b4b c86aae3e
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment