Skip to content
Snippets Groups Projects
Commit c86aae3e authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Eva] fix duplicate words

parent cf01dcb0
No related branches found
No related tags found
No related merge requests found
...@@ -291,7 +291,7 @@ module Make ...@@ -291,7 +291,7 @@ module Make
Value_parameters.warning ~current:true ~once:true Value_parameters.warning ~current:true ~once:true
~wkey:Value_parameters.wkey_garbled_mix ~wkey:Value_parameters.wkey_garbled_mix
"The specification of function %a has generated a 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 Kernel_function.pretty kf pp_assign_free_alloc assign
end end
in in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment