From 953c4200cc07b9e2a10c53f13fe5f3a839c74ccb Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 21 Jul 2023 11:01:57 +0200
Subject: [PATCH] [kernel] fix typo in an error message
---
src/kernel_services/ast_queries/cil.ml | 2 +-
tests/cil/oracle/cpu_a.res.oracle | 2 +-
tests/cil/oracle/cpu_b.res.oracle | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index ac0c9e22547..c377accc953 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -5970,7 +5970,7 @@ let combineTypesGen ?emitwith (combF : combineFunction)
then
begin
warning ~current:true
- "Integer compatibily is machine-dependant : %a and %a\n"
+ "Integer compatibily is machine-dependent : %a and %a\n"
Cil_datatype.Typ.pretty oldt Cil_datatype.Typ.pretty t;
result k oldk
end
diff --git a/tests/cil/oracle/cpu_a.res.oracle b/tests/cil/oracle/cpu_a.res.oracle
index e5bceb82f96..a3afaac2116 100644
--- a/tests/cil/oracle/cpu_a.res.oracle
+++ b/tests/cil/oracle/cpu_a.res.oracle
@@ -1,7 +1,7 @@
[kernel] Parsing cpu_a.c (with preprocessing)
[kernel] Parsing cpu_b.c (with preprocessing)
[kernel] cpu_b.c:7: Warning:
- Integer compatibily is machine-dependant : unsigned short and unsigned int
+ Integer compatibily is machine-dependent : unsigned short and unsigned int
[kernel] Warning: Conflicting definitions are between files cpu_a.c and cpu_b.c
/* Generated by Frama-C */
typedef unsigned short DWORD;
diff --git a/tests/cil/oracle/cpu_b.res.oracle b/tests/cil/oracle/cpu_b.res.oracle
index 15d585c0887..de97788d408 100644
--- a/tests/cil/oracle/cpu_b.res.oracle
+++ b/tests/cil/oracle/cpu_b.res.oracle
@@ -1,7 +1,7 @@
[kernel] Parsing cpu_b.c (with preprocessing)
[kernel] Parsing cpu_a.c (with preprocessing)
[kernel] cpu_a.c:6: Warning:
- Integer compatibily is machine-dependant : unsigned int and unsigned short
+ Integer compatibily is machine-dependent : unsigned int and unsigned short
[kernel] Warning: Conflicting definitions are between files cpu_b.c and cpu_a.c
/* Generated by Frama-C */
typedef unsigned int DWORD;
--
GitLab