Merge branch 'fix/andre/clobber-typo' into 'master'

[Kernel] fix typos in message

See merge request frama-c/frama-c!2273

src/kernel_internals/typing/asm_contracts.ml

@@ -138,8 +138,8 @@ object(self)
             let once = true in
             Kernel.warning
               ~once ~source
-              "Clobber list contain \"memory\" argument. Assuming no \
-               side-effect beyond those mentioned in operands."
+              "Clobber list contains \"memory\" argument. Assuming no \
+               side effects beyond those mentioned in operands."
           end;
           let to_id_term lv =
             Logic_const.new_identified_term

tests/syntax/oracle/gnu-asm-aesni.res.oracle

 [kernel] Parsing tests/syntax/gnu-asm-aesni.c (with preprocessing)
 [kernel] tests/syntax/gnu-asm-aesni.c:93: Warning: 
-  Clobber list contain "memory" argument. Assuming no side-effect beyond those mentioned in operands.
+  Clobber list contains "memory" argument. Assuming no side effects beyond those mentioned in operands.
 /* Generated by Frama-C */
 #include "__fc_builtin.h"
 #include "string.h"