diff options
| author | Marijn Haverbeke <marijnh@gmail.com> | 2012-01-17 17:44:38 +0100 |
|---|---|---|
| committer | Marijn Haverbeke <marijnh@gmail.com> | 2012-01-17 17:44:38 +0100 |
| commit | 87418dbc937ffbadb18d369808af4372484d57bc (patch) | |
| tree | 5cbc03dbb2b3572f8ed672160cf740836b5ddebe /src/libstd | |
| parent | 54d5a9846f6bfe0fe37e2a81c9bd74178ff1f3b4 (diff) | |
Prevent pretty-printer from trying to consume stdin twice
Why this didn't fail on my machine, I don't know.
Diffstat (limited to 'src/libstd')
0 files changed, 0 insertions, 0 deletions