From fbc6dacf6af7eb804234fba2ecbfba9a315cd254 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 30 Apr 2021 18:53:12 +0200
Subject: [PATCH] [e-acsl:refman] add a word about loop variants in the changes

---
 src/plugins/e-acsl/doc/refman/changes_modern.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index ff760d26496..45128703b49 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -179,6 +179,7 @@ in \lstinline|\\at|}
 \item \changeinsection{expressions}{mark logic function and predicate
   applications as implemented}
 \item \changeinsection{fn-behavior}{mark admit and check clauses as implemented}
+\item \changeinsection{loop_annot}{mark loop variants as implemented}
 \end{itemize}
 
 \subsection*{Version Titanium-22}
-- 
GitLab