From 30aed85c2b9b80daa00dfdc3b572cd63f4e22681 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 16 Mar 2016 18:21:08 +0100
Subject: [PATCH] [Instrumentation engine] Fixed typo in visit.ml
---
src/plugins/e-acsl/visit.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 6b375266d77..6b22631ba93 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -278,7 +278,7 @@ you must call function `%s' and `__e_acsl_memory_clean by yourself.@]"
let ptrSz = (Cil.sizeOf loc Cil.voidPtrType) in
let args =
(* Record arguments only if the first one has int type and the
- second one is an array of char pointers of equivalent. This is
+ second one is an array of char pointers or equivalent. This is
sufficient to capture C99 compliant arguments and GCC extensions
with environ. *)
match main.sformals with
--
GitLab