From 813ccdb3863ce4c747def481c1c9e7ba233b8408 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 11 May 2021 13:53:27 +0200
Subject: [PATCH] [Eva] Fixes a broken reference in the user manual.

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

diff --git a/doc/value/main.tex b/doc/value/main.tex
index 33eac7470b5..4123d592d89 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -5302,7 +5302,7 @@ By default, only the internal representation of variables by the main domain
 (see Section~\ref{sec:values}) are shown. The properties inferred by each
 additional domain are also printed if the domain's log category has been enabled
 through the option \verb+-eva-msg-key category+, where \verb+category+ is the
-log category of the domain, shown in Figure~\ref{fig:log-category}. The
+log category of the domain, shown in Figure~\ref{fig:eva-domains}. The
 information printed by the additional domains is currently very limited.
 
 
-- 
GitLab