From beb818fbf090eabed393f4b0f8cc785a15ed6dba Mon Sep 17 00:00:00 2001
From: Hanna Lachnitt <lachnitt@stanford.edu>
Date: Wed, 7 Aug 2024 10:55:27 -0700
Subject: [PATCH] Fix potential typo?
---
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 44c3099..4afbba8 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -284,7 +284,7 @@ $i$. & \ctxsep & $\varphi$ & \currule \\
\begin{RuleDescription}{hole}
\begin{AletheX}
-$i$. & \ctxsep & $\varphi$ & $(\currule\; p_1, \dots, p_n)\, [a_1, \dots, a_n]$ \\
+$i$. & \ctxsep & $\varphi$ & $(\currule\; p_2, \dots, p_n)\, [a_1, \dots, a_m]$ \\
\end{AletheX}
where $\varphi$ is any well-formed formula.
--
GitLab