From b240343a9cbf26c5cf4100cdd45f4b70ce8412a6 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 22 Nov 2018 13:52:56 +0100
Subject: [PATCH] Revert "Merge branch 'fix/andre/typos' into 'master'"
This reverts merge request !270
---
src/plugins/e-acsl/typing.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/typing.ml b/src/plugins/e-acsl/typing.ml
index ee2dcb2ffe5..fa789522b48 100644
--- a/src/plugins/e-acsl/typing.ml
+++ b/src/plugins/e-acsl/typing.ml
@@ -205,7 +205,7 @@ let coerce ~arith_operand ~ctx ~op ty =
end else
(* only add an explicit cast if the context is [Gmp] and [ty] is not;
or if the term corresponding to [ty] is an operand of an arithmetic
- operation which must be explicitly coerced in order to force the
+ operation which must be explicitely coerced in order to force the
operation to be of the expected type. *)
if (ctx = Gmp && ty <> Gmp) || arith_operand
then { ty; op; cast = Some ctx }
@@ -340,7 +340,7 @@ let rec type_term ~use_gmp_opt ?(arith_operand=false) ?ctx t =
with Interval.Not_an_integer ->
dup Other (* real *)
in
- (* it is enough to explicitly coerce when required one operand to [ctx]
+ (* it is enough to explicitely coerce when required one operand to [ctx]
(through [arith_operand]) in order to force the type of the operation.
Heuristic: coerce the operand which is not a lval in order to lower
the number of explicit casts *)
--
GitLab