From 451fb34423cb5c1a6c1993785b728ad0ef21e1c8 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 29 Apr 2016 15:48:13 +0200
Subject: \var is voor variabelen

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

(limited to 'rulesoutput.tex')

diff --git a/rulesoutput.tex b/rulesoutput.tex
index 7bdc741..57e7bbe 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -19,10 +19,10 @@ $$
 	\justifies
         \trans
         {\StmOutput:\pgm}{\ip}{(\stk,\str)}
-            {\ip'}{[\op:[var:\Nil]]}{\st}
+            {\ip'}{[\op:[s:\Nil]]}{\st}
 	\using{\routputns}
 	\qquad
-	\text{met $(\var,\stk') = \pop{\stk}$.}
+	\text{met $(s,\stk') = \pop{\stk}$.}
 \endprooftree
 $$
 
-- 
cgit v1.2.3

