From cf16cc03b7f0f0b7d069e886b0adb045daa94942 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 8 Apr 2021 11:42:12 +0200
Subject: [PATCH] [e-acsl:refman] update changelog
---
src/plugins/e-acsl/doc/refman/changes_modern.tex | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index 7c694a49745..ff760d26496 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -4,6 +4,7 @@
\subsection*{Version \version}
\begin{itemize}
+ \item \changeinsection{expressions}{bitwise-or \lstinline|\^\^| is not lazy}
\item \changeinsection{expressions}{new extended syntax for quantifications}
\item \changeinsection{reals}{additional remark about real numbers and
operations over them}
@@ -177,7 +178,7 @@ in \lstinline|\\at|}
\begin{itemize}
\item \changeinsection{expressions}{mark logic function and predicate
applications as implemented}
-\item \changeinsection{fn-behavior}{mark admit clauses as implemented}
+\item \changeinsection{fn-behavior}{mark admit and check clauses as implemented}
\end{itemize}
\subsection*{Version Titanium-22}
--
GitLab