[e-acsl:refman] fixes changelog

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}