From 61f31bfd0395a6e883e95007bf4669292573d0b8 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Wed, 4 Dec 2024 15:32:53 -0600
Subject: [PATCH] Fix Carcara rule table label
---
spec/rule_list.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 4c787b4..d31df1a 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -262,7 +262,7 @@ simplifications.}
\begin{xltabular}{\linewidth}{l X}
\caption{Rules used by the Carcara elaborator.}
-\label{rule-tab:cvc5}\\
+\label{rule-tab:carcara}\\
Rule & Description \\
\hline
\ruleref{weakening} & Weakening of a clause. \\
--
GitLab