diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index ac0c9e22547f650edae6bdd640539c3dac1a9586..c377accc95388ae67f7ae6f45d2f9247a1e469f0 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 e5bceb82f96fc557ceb6ef722e55884b426ed5fb..a3afaac2116b786bb84f92717aa869eedf47b19d 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 15d585c08873aa9850d54e2d1caee038b25814e4..de97788d4087e83b5599e6b0629e45121cd25db8 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;