From 43d59e3be6435e57b0585e5bebc67e34e00b7573 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Sat, 26 Dec 2015 18:40:04 +0100
Subject: [PATCH] fix typo
---
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 07882082436..a3e786decd7 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -25,7 +25,7 @@
# Convenience wrapper for small runs of E-ACSL Frama-C plugin
# Print a message to STDERR and exit. If the second argument (exit code)
-# if provided and it is '0' then do nothing.
+# is provided and it is '0' then do nothing.
error () {
if [ -z "$2" ] || ! [ "$2" = 0 ]; then
echo "e-acsl-gcc: fatal error: $1" 1>&2
--
GitLab