From 84c9511848b7b8e9636d7718bf60a13098493c33 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 3 Dec 2021 17:52:27 +0100
Subject: [PATCH] [devman] update index entry from Dataflow to Dataflow2

---
 doc/developer/advance.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 278621f3d06..74cdec61ea4 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -4246,7 +4246,7 @@ for details about the provided operations on these types.
 As join operators are provided for these types, they can be easily used in
 abstract interpretation analyses\index{Abstract Interpretation} (which can
 themselves be implemented thanks to one of functors of module
-\texttt{Dataflow2}\codeidx{Dataflow}.
+\texttt{Dataflow2}\codeidx{Dataflow2}.
 
 \subsection{Map Indexed by Locations}\label{memory:map}
 
-- 
GitLab