From 3e84a7e08ac403059f3ba65db70bf1103e2ac46c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 5 Jun 2019 09:55:48 +0200
Subject: [PATCH] [Kernel] fix typos in message
---
src/kernel_internals/typing/asm_contracts.ml | 4 ++--
tests/syntax/oracle/gnu-asm-aesni.res.oracle | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/kernel_internals/typing/asm_contracts.ml b/src/kernel_internals/typing/asm_contracts.ml
index 3bf647bcaa4..74ea3ab799e 100644
--- a/src/kernel_internals/typing/asm_contracts.ml
+++ b/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
diff --git a/tests/syntax/oracle/gnu-asm-aesni.res.oracle b/tests/syntax/oracle/gnu-asm-aesni.res.oracle
index f5375b6410b..009db9d96ab 100644
--- a/tests/syntax/oracle/gnu-asm-aesni.res.oracle
+++ b/tests/syntax/oracle/gnu-asm-aesni.res.oracle
@@ -1,6 +1,6 @@
[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"
--
GitLab