summaryrefslogtreecommitdiff
path: root/rules.tex
diff options
context:
space:
mode:
authorEvi2016-05-14 15:58:35 +0200
committerEvi2016-05-14 15:58:35 +0200
commit8962431a7dce03507e3f84fb8e66a349a04fe057 (patch)
tree3431a60c8d8f981ac043d5067db5d4856eaea972 /rules.tex
parentCleanup (diff)
verwerken feedback
Diffstat (limited to 'rules.tex')
-rw-r--r--rules.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/rules.tex b/rules.tex
index 1fee1d4..d756aa3 100644
--- a/rules.tex
+++ b/rules.tex
@@ -3,7 +3,7 @@
\label{sec:rules}
We zullen nu ieder syntaxelement nader specificeren. Ook zullen regels voor de
-natuurlijke semantiek van Smurf worden geïntroduceerd.
+natuurlijke semantiek van Smurf worden geïntroduceerd. Bij elk van deze regels geldt dat als er een pop gebeurd in die regel de stack niet leeg mag zijn voor het uitvoeren van de regel.
De documentatie \cite{safalra} beschrijft niet wat er gebeurt wanneer er niet
genoeg argumenten op de stack staan om een bepaalde instructie uit te voeren.