From 1565cb8701460f5f8c033f164a1ce346c781ac9a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 22 Nov 2018 10:17:26 +0100
Subject: [PATCH] Fixes a typo in comments.
---
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 fa789522b48..ee2dcb2ffe5 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 explicitely coerced in order to force the
+ operation which must be explicitly 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 explicitely coerce when required one operand to [ctx]
+ (* it is enough to explicitly 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