From fde2841fb8d8be1367d53013ec5919b3ca3cfae6 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 1 Jul 2021 08:43:55 +0200
Subject: [PATCH] [e-acsl:refman] fixes changelog
---
src/plugins/e-acsl/doc/refman/changes_modern.tex | 2 +-
1 file changed, 1 insertion(+), 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 45128703b49..b37bb6f30da 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -4,7 +4,7 @@
\subsection*{Version \version}
\begin{itemize}
- \item \changeinsection{expressions}{bitwise-or \lstinline|\^\^| is not lazy}
+ \item \changeinsection{expressions}{xor \lstinline|\^\^| is not lazy}
\item \changeinsection{expressions}{new extended syntax for quantifications}
\item \changeinsection{reals}{additional remark about real numbers and
operations over them}
--
GitLab