diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index 3e7e104758318f6448f261ddcb560e5ecab516f9..d2b9699daef769e800d729a962ba4da60e8fd8f4 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -1,7 +1,14 @@
 \section{Changes}
 
 % Next version
-%\subsection*{Version \version}
+\subsection*{Version \version}
+\begin{itemize}
+  \item Update according to \acsl 1.18
+    \begin{itemize}
+    \item \changeinsection{memory}{add the \lstinline|\\object_pointer| and
+    \lstinline|\\pointer_comparable| built-in predicates.}
+    \end{itemize}
+\end{itemize}
 
 \subsection*{Version 1.17}
 \begin{itemize}
diff --git a/src/plugins/e-acsl/doc/refman/memory.tex b/src/plugins/e-acsl/doc/refman/memory.tex
index 29175c955963e3e967b0ae83301c304693916a0d..8d9c6096b0f3cde1987a1b93249ac90b23b514c0 100644
--- a/src/plugins/e-acsl/doc/refman/memory.tex
+++ b/src/plugins/e-acsl/doc/refman/memory.tex
@@ -11,6 +11,8 @@
        | "\valid" { one-label? } "(" locations-list ")" ;
        | "\valid_read" { one-label? } "(" locations-list ")";
        | "\separated" "(" location "," locations-list ")";
+       | { "\object_pointer" one-label? "(" locations-list ")" };
+       | { "\pointer_comparable" one-label? "(" term "," term ")" };
        \
   { one-label } ::= { "{" label-id "}" } ;
        \