From 15aab23c1e89e9369b631eb3cefc7fc708d6da36 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymh15@ic.ac.uk>
Date: Sat, 21 Nov 2020 00:03:19 +0000
Subject: Update on Overleaf.

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

(limited to 'appendix.tex')

diff --git a/appendix.tex b/appendix.tex
index 11bfe41..defe44d 100644
--- a/appendix.tex
+++ b/appendix.tex
@@ -1,3 +1,4 @@
+\newpage
 \appendix
 
 \section{Appendix}
@@ -50,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{Inferrence rules for statements.}\label{fig:inferrence_statements}
+  \caption{Inference rules for statements.}\label{fig:inferrence_statements}
 \end{figure*}
 
 \begin{figure}
-- 
cgit