Skip to content
Snippets Groups Projects
Commit 61f31bfd authored by Hans-Jörg's avatar Hans-Jörg
Browse files

Fix Carcara rule table label

parent 523137fe
Branches add/shuffle
No related tags found
1 merge request!17Add shuffle rule
Pipeline #50385 passed
This commit is part of merge request !17. Comments created here will be created in the context of that merge request.
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
spec/rule_list.tex
+ 1
− 1
Edit View file @ 61f31bfd
...@@ -262,7 +262,7 @@ simplifications.} ...@@ -262,7 +262,7 @@ simplifications.}
\begin{xltabular}{\linewidth}{l X} \begin{xltabular}{\linewidth}{l X}
\caption{Rules used by the Carcara elaborator.} \caption{Rules used by the Carcara elaborator.}
\label{rule-tab:cvc5}\\ \label{rule-tab:carcara}\\
Rule & Description \\ Rule & Description \\
\hline \hline
\ruleref{weakening} & Weakening of a clause. \\ \ruleref{weakening} & Weakening of a clause. \\
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment