From 1db021c55e0ca36f6942269e03b5c02d6aa24563 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 27 Apr 2016 11:10:55 +0200
Subject: Get

---
 defsyn.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'defsyn.tex')

diff --git a/defsyn.tex b/defsyn.tex
index 6623c1e..b023950 100644
--- a/defsyn.tex
+++ b/defsyn.tex
@@ -6,7 +6,7 @@ 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

