From a8c17733c076bf72d84535208906e493d1a21659 Mon Sep 17 00:00:00 2001
From: W-M-T
Date: Sat, 4 Jun 2016 11:59:15 +0200
Subject: Some feedback processing

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

(limited to 'rulesoutput.tex')

diff --git a/rulesoutput.tex b/rulesoutput.tex
index c6a1f66..d4bb487 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -19,7 +19,7 @@ $$
 	\justifies
         \trans
         {\StmOutput:\pgm}{\ip}{(\stk,\str)}
-            {\ip'}{[\op:[s:\Nil]]}{\st}
+            {\ip'}{\push{s}{\op}}{\st}
 	\using{\routputns}
 	\qquad
 	\text{met $\pop{\stk} = (s,\stk') $,}
@@ -27,7 +27,7 @@ $$
 $$
 
 waarbij $\op$ in de bovenste regel de gehele outputstack weergeeft. Merk op
-dat eenzelfde regel waar $s$ niet achteraan maar vooraan zou komen te staan,
+dat eenzelfde regel waar $s$ niet voor op de stack wordt gezet maar achter,
 even geldig is. Geen van beide opties is beter dan de ander omdat we geen
 aannames doen over hoe de $\Output$-stack wordt verwerkt.
 
-- 
cgit v1.2.3

