Fix typo in buffer name.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 20:04:41 +0000 (21:04 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 20:04:41 +0000 (21:04 +0100)
Chapters/Prototype.tex

index a18d30d..8f94251 100644 (file)
             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