From c453223c2da7ddea7aa600fe404c29627ef539bb Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 29 Sep 2022 09:20:36 +0200
Subject: [PATCH] [Kernel] uniformize messages with Neither... nor...
---
src/kernel_internals/typing/infer_annotations.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/typing/infer_annotations.ml b/src/kernel_internals/typing/infer_annotations.ml
index 596454178f1..568b2da42b8 100644
--- a/src/kernel_internals/typing/infer_annotations.ml
+++ b/src/kernel_internals/typing/infer_annotations.ml
@@ -227,7 +227,7 @@ let populate_funspec_aux kf spec =
if not (is_frama_c_builtin name) then
Kernel.warning ~once:true ~current:true
~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"
explicit_name Kernel_function.pretty kf orig_name
in
--
GitLab