From 45dda8feaa8fca31e15fc28cbe382b43d610123a Mon Sep 17 00:00:00 2001
From: W-M-T
Date: Wed, 27 Apr 2016 17:21:00 +0200
Subject: small fix

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

diff --git a/rulesexec.tex b/rulesexec.tex
index b4f5d1a..f24bafd 100644
--- a/rulesexec.tex
+++ b/rulesexec.tex
@@ -50,9 +50,9 @@ Het tweede geval van $\parsepgmop$ zorgt ervoor dat een programma-string spaties
 $$
 	\parsestr s =
 		\begin{cases}
-			\lambda:\parsepgm{s'} & \text{als $s=cs'$ met $c=$'~'''}\\
+			\lambda:\parsepgm{s'} & \text{als $s=cs'$ met $c=$`''`}\\
             `\backslash`~`''`~\parsestr{s'} & \text{als $s=cs'$ met $c=$`$\backslash$`~`''`}\\
-            c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char$}\\
+            c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char\backslash\{`''`\}$}\\
 		\end{cases}
 $$
 Het tweede geval van $\parsestrop$ zorgt ervoor dat ge-escapete aanhalingstekens de string niet beëindigen.
-- 
cgit v1.2.3