From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 8 Dec 2009 20:04:41 +0000 (+0100)
Subject: Fix typo in buffer name.
X-Git-Tag: final-thesis~20
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=d969667ecbfca2a9d65c5fa4846a0a2ca4185129;p=matthijs%2Fmaster-project%2Freport.git

Fix typo in buffer name.
---

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index a18d30d..8f94251 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -1326,7 +1326,7 @@
             res
       \stopbuffer
       \placeexample[here][ex:AvgStateRemoved]{Normalized version of \in{example}[ex:AvgState] with ignored parts crossed out}
-          {\typebufferlam{AvgStatRemoved}}
+          {\typebufferlam{AvgStateRemoved}}
               
       When we actually leave out the crossed out parts, we get a slightly
       weird program: there is a variable \lam{s} which has no value, and there