Commits

Nadav Rotem committed b5e4197d33c
[Mangler] Fix all of the places where users of the Mangler access the underlying buffer. This commit fixes all of the places where users of the Mangler write to the stream that's used by the Mangler. The plan is to make the Mangler buffered, and this means that users can't assume that the mangler immediately writes the mangled tokens to the output stream.