Skip to content
Snippets Groups Projects
Commit c453223c authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Kernel] uniformize messages with Neither... nor...

parent e070818b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_internals/typing/infer_annotations.ml
+ 1
− 1
View file @ c453223c
...@@ -227,7 +227,7 @@ let populate_funspec_aux kf spec = ...@@ -227,7 +227,7 @@ let populate_funspec_aux kf spec =
if not (is_frama_c_builtin name) then if not (is_frama_c_builtin name) then
Kernel.warning ~once:true ~current:true Kernel.warning ~once:true ~current:true
~wkey:Kernel.wkey_missing_spec ~wkey:Kernel.wkey_missing_spec
"No code nor %s assigns clause for function %a, \ "Neither code nor %s assigns clause for function %a, \
generating default assigns from the %s" generating default assigns from the %s"
explicit_name Kernel_function.pretty kf orig_name explicit_name Kernel_function.pretty kf orig_name
in in
......
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