diff options
Diffstat (limited to '011load.cc')
-rw-r--r-- | 011load.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/011load.cc b/011load.cc index 793e474e..499583da 100644 --- a/011load.cc +++ b/011load.cc @@ -221,11 +221,8 @@ bool warn_on_redefine(const string& recipe_name) { } // for debugging -:(before "End Globals") -bool Show_rest_of_stream = false; :(code) void show_rest_of_stream(istream& in) { - if (!Show_rest_of_stream) return; cerr << '^'; char c; while (in >> c) { |