From: Matthijs Kooijman 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