1 files changed, 6 insertions, 6 deletions

diff --git a/main.tex b/main.tex
index d475cdd..5e65db1 100644
--- a/main.tex
+++ b/main.tex
@@ -209,38 +209,38 @@ Definition of stmntrun.
 \end{equation}
 
 \begin{equation}
-  \label{eq:3}
+  \label{eq:4}
   \inferrule[Seq]{\text{stmntrun}\ f\ as0\ st1\ as1 \\ \text{stmntrun}\ f\ as1\ st2\ as2}{
   \text{stmntrun}\ f\ as0\ (\mathtt{Vseq}\ st1\ st2)\ as2}
 \end{equation}
 
 \begin{equation}
-  \label{eq:4}
+  \label{eq:5}
   \inferrule[CaseNoMatch]{\text{stmntrun}\ f\ as0\ (\mathtt{Vcase}\ e\ cs\ def)\ as1 \\ \text{exprrun}\ f\ \Delta_{0}\ me\ mve
     \\ \text{exprrun}\ f\ \Delta_{0}\ e\ ve \\ mve \neq ve}{
     \text{stmntrun}\ f\ as0\ (\mathtt{Vcase}\ e\ ((me,\ sc) :: cs)\ def)\ as1}
 \end{equation}
 
 \begin{equation}
-  \label{eq:5}
+  \label{eq:6}
   \inferrule[CaseMatch]{\text{stmntrun}\ f\ as0\ sc\ as1 \\ \text{exprrun}\ f\ \Delta_{0}\ e\ ve
     \\ \text{exprrun}\ f\ \Delta_{0}\ me\ mve \\ mve = ve}{
     \text{stmntrun}\ f\ as0\ (\mathtt{Vcase}\ e\ ((me,\ sc) :: cs)\ def)\ as1}
 \end{equation}
 
 \begin{equation}
-  \label{eq:6}
+  \label{eq:7}
   \inferrule[CaseDefault]{\text{exprrun}\ f\ \Delta_{0}\ e ve \\ \text{stmntrun}\ f\ as0\ st\ as1}{
   \text{stmntrun}\ f\ as0\ (\mathtt{Vcase}\ e\ []\ (\mathtt{Some}\ st))\ as1}
 \end{equation}
 
 \begin{equation}
-  \label{eq:7}
+  \label{eq:8}
   \inferrule[Blocking]{}{x}
 \end{equation}
 
 \begin{equation}
-  \label{eq:7}
+  \label{eq:9}
   \inferrule[Nonblocking]{}{x}
 \end{equation}