[Eva] Fixes a broken reference in the user manual.

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.