From 9a11bd22249cb6d913f5d591a623013a24a3c1f9 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 21 Jan 2021 09:02:55 +0100
Subject: [PATCH] [e-acsl:refman] fix typo
---
src/plugins/e-acsl/doc/refman/speclang_modern.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/refman/speclang_modern.tex b/src/plugins/e-acsl/doc/refman/speclang_modern.tex
index 8ccd0a2dc5d..f28b0e8dd6d 100644
--- a/src/plugins/e-acsl/doc/refman/speclang_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/speclang_modern.tex
@@ -308,7 +308,7 @@ undefinitive verdicts (e.g., ``unknown'').
\ifthenelse{\boolean{PrintImplementationRq}}{%
\begin{notimplementedenv}
- The following constructs are currently not subsection by the \eacsl plug-in:
+ The following constructs are currently not supported by the \eacsl plug-in:
\begin{itemize}
\item built-in function \Length;
\item comparisons of unions and structures;
--
GitLab