diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-10-25 12:39:00 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-10-25 12:39:00 -0700 |
commit | b74443e57159d9ace378736c3e389629afc54d0b (patch) | |
tree | 1287d9a5691e070acbdf7ec6463dda7c84171ce0 /011load.cc | |
parent | a796831f3e5697de7194607cfff3efddc588978a (diff) | |
download | mu-b74443e57159d9ace378736c3e389629afc54d0b.tar.gz |
2274
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) { |