From 9dc0f3c92ed0adfc38d38958e97dce1a932c0201 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 10 Feb 2016 18:07:22 +0100
Subject: [PATCH] Fix British spelling of `maximise` in the inline docs of the
 e-acsl wrapper script

---
 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 8a13b98b880..89a2589d746 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -92,7 +92,7 @@ Options:
   -p         output the generated code with rich formatting to STDOUT
   -o <file>  output the generated code to <file> [a.out.frama.c]
   -O <file>  output the generated executables to <file> [a.out, a.out.e-acsl]
-  -M         maximise memory-related instrumentation
+  -M         maximize memory-related instrumentation
   -g         always use GMP integers instead of C integral types
   -q         suppress any output except for errors and warnings
   -s <file>  redirect all output to <file>
-- 
GitLab