From b9a70b51b39003d98c630537198e31778102e4bf Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 10 Feb 2016 18:54:36 +0100
Subject: [PATCH] Minor stylistic change in the E-ACSL user manual

---
 src/plugins/e-acsl/doc/userman/eacslgcc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/doc/userman/eacslgcc.tex b/src/plugins/e-acsl/doc/userman/eacslgcc.tex
index 63c7fa7c482..43f8e99a9d6 100644
--- a/src/plugins/e-acsl/doc/userman/eacslgcc.tex
+++ b/src/plugins/e-acsl/doc/userman/eacslgcc.tex
@@ -155,7 +155,7 @@ option that suppresses any output except errors or warnings issued by \gcc,
 \framac or \eacslgcc itself.
 
 The output of \eacslgcc can also be redirected to a specified file using the
-\texttt{-s} option.  For example, the following command will redirect all
+\texttt{-s} option.  For example, the following command redirects all
 output during instrumentation and compilation of \texttt{foo.c} to the
 file named \texttt{/tmp/log}.
 
-- 
GitLab