From 15b1cffb9927cab09304b55306f9286a75f0f1f0 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Mon, 6 May 2024 12:23:59 -0500
Subject: [PATCH] Set hypertexnames to false for hyperref package to fix
 references

This follows the advice given here:
https://latex.org/forum/viewtopic.php?t=32205
The option changes how destination names are defined.

Also fixes two other small typos related to references.

Should address:
https://gitlab.uliege.be/verit/alethe/-/issues/39
---
 spec/doc.tex       | 2 +-
 spec/rule_list.tex | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec/doc.tex b/spec/doc.tex
index 9022ec2..b826c03 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -36,7 +36,7 @@
 \indexsetup{level=\indexsection,firstpagestyle=headings,noclearpage}
 
 % Must come after imakeidx
-\usepackage[hidelinks=true]{hyperref}
+\usepackage[hidelinks,hypertexnames=false]{hyperref}
 \usepackage{breakurl}
 
 \usepackage{tikz}
diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index f19f928..1266d48 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -231,7 +231,7 @@ simplifications.}
 
 \begin{xltabular}{\linewidth}{l X}
 \caption{Bitvector rules.}
-\label{rule-tab:simplification}\\
+\label{rule-tab:bitblasting}\\
   Rule & Description \\
   \hline
 \ruleref{bitblast_extract} & Bitblasting of $\lsymb{extract}$. \\
-- 
GitLab