From 968d2ef34f10ccf1d458d45fd8a49c7985fba8eb Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 15 Apr 2021 10:42:47 +0100
Subject: Fix spelling

---
 appendix.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'appendix.tex')

diff --git a/appendix.tex b/appendix.tex
index defe44d..8d41fba 100644
--- a/appendix.tex
+++ b/appendix.tex
@@ -51,7 +51,7 @@
       \inferrule[Nonblocking Array]{\yhkeyword{name}\ \textit{lhs} = \yhkeyword{OK}\ n \\ \textit{erun}\  \Gamma\ \textit{rhs}\ v_{\textit{rhs}}}{\textit{srun}\  (\Gamma_{r}, \Gamma_{a}, \Delta_{r}, \Delta_{a})\ (\textit{lhs} \Leftarrow \textit{rhs})\ (\Gamma_{r}, \Gamma_{a}, \Delta_{r} // \{n \rightarrow v_{\textit{rhs}}\}, \Delta_{a})}
     \end{gather*}
   \end{minipage}
-  \caption{Inference rules for statements.}\label{fig:inferrence_statements}
+  \caption{Inference rules for statements.}\label{fig:inference_statements}
 \end{figure*}
 
 \begin{figure}
-- 
cgit