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

---
 rulesinput.tex  | 2 +-
 rulesoutput.tex | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/rulesinput.tex b/rulesinput.tex
index e9dd23f..2e59ddf 100644
--- a/rulesinput.tex
+++ b/rulesinput.tex
@@ -37,7 +37,7 @@ $$
 		{\ip''}{\op}{\st}
 	\using{\rinputns}
 	\qquad
-	\text{met $(\val,\ip')=\pop\ip$}
+	\text{met $(\val,\ip')=\pop\ip$.}
 \end{prooftree}
 $$
 
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