From 8962431a7dce03507e3f84fb8e66a349a04fe057 Mon Sep 17 00:00:00 2001
From: Evi
Date: Sat, 14 May 2016 15:58:35 +0200
Subject: verwerken feedback

---
 defsyn.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'defsyn.tex')

diff --git a/defsyn.tex b/defsyn.tex
index b023950..c18ede2 100644
--- a/defsyn.tex
+++ b/defsyn.tex
@@ -1,12 +1,10 @@
 % vim: set spelllang=nl:
 \subsection{Syntax}
 \label{sec:def:syn}
-
 We definiëren de volgende syntax:
-
 \setlength{\grammarindent}{5em}
 \begin{grammar}
-	<Pgm> ::= <Stm>:<Pgm> | $\lambda$
+	<Pgm> ::= <Stm> <Pgm> | $\lambda$
 
 	<Stm> ::= `Push' <String>
 		\alt `Cat' | `Head' | `Tail' | `Quotify'
-- 
cgit v1.2.3