From 89b2f8d6b9f263ced0c4a6a84dec7ba568ef1b56 Mon Sep 17 00:00:00 2001
From: W-M-T
Date: Wed, 27 Apr 2016 17:32:35 +0200
Subject: another small fix

---
 rulesexec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rulesexec.tex b/rulesexec.tex
index 9b4b939..47b77f3 100644
--- a/rulesexec.tex
+++ b/rulesexec.tex
@@ -1,11 +1,11 @@
-% vim: set spelllang=nl:
+% vim: set spelllang=nl:
 \subsection{\texttt{Exec}}
 
 \begin{quote}
 	x - Executes the string at the top of the stack as a Smurf program. The stack and variable store are erased.
 \end{quote}
 
-We halen een strings van de stack en gebruiken $\parsepgmop$ om dit in een programma om te zetten. Dit wordt het nieuwe programma om uitgevoerd te worden. Als de $\stk$ leeg is is deze regel niet toepasbaar, omdat $\pop\stk$ dan niet gedefinieerd is. Ook is deze regel niet toepasbaar als de gepopte string zelf geen geldig Smurf-programma is, omdat $\parsepgmop$ dan niet gedefinieerd is.
+We halen een string van de stack en gebruiken $\parsepgmop$ om dit in een programma om te zetten. Dit wordt het nieuwe programma om uitgevoerd te worden. Als de $\stk$ leeg is is deze regel niet toepasbaar, omdat $\pop\stk$ dan niet gedefinieerd is. Ook is deze regel niet toepasbaar als de gepopte string zelf geen geldig Smurf-programma is, omdat $\parsepgmop$ dan niet gedefinieerd is.
 
 $$
 \begin{prooftree}
-- 
cgit v1.2.3