From d23b1281fc835209421b8e634c93dbb9bbfcff3d Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 13 Oct 2022 16:45:25 +0200
Subject: [PATCH] [Doc] update to reflect the removal of Db.Properties
---
doc/developer/advance.tex | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index b507afc33b7..6298b441abc 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -3726,8 +3726,9 @@ directly stored in the AST. These modules and functions are the following.
an ACSL annotation has to be converted into a property if you want to access
its property statuses.
\item Modules \texttt{Logic\_const}\codeidxdef{Logic\_const},
- \texttt{Logic\_utils}\codeidxdef{Logic\_utils} and
- \texttt{Db.Properties}\scodeidxdef{Db}{Properties} contain several
+ \texttt{Logic\_utils}\codeidxdef{Logic\_utils},
+ \texttt{Logic\_parse\_string}\codeidxdef{Logic\_parse\_string} and
+ \texttt{Logic\_to\_c}\codeidxdef{Logic\_to\_c}, contain several
operations over annotations.
\end{itemize}
--
GitLab