update todo

[sec1415.git] / semantics.tex

diff --git a/semantics.tex b/semantics.tex
index d80eb80..578901d 100644 (file)
--- a/semantics.tex
+++ b/semantics.tex
@@ -104,7 +104,7 @@ Deze functie haalt de bovenste twee elementen van de stack en stopt 1 bovenop
 de stack als het tweede bovenste element een hogere waarde heeft als dat van het 
 bovenste element. Anders word 1 bovenop de stack gestopt.\\ 
 
-Met behulp van deze gedefineerde functies kunnen we nu de volgende semantiekregels opstellen:\\
+Met behulp van deze gedefinieerde functies kunnen we nu de volgende semantiekregels opstellen:\\
 
 $
 {[pop_{sos}]}\qquad