commit | 7e9e74b6a8ac919227fc4432e01745217665762b | [log] [tgz] |
---|---|---|
author | Tom Tromey <tom@tromey.com> | Sun Jan 02 13:08:45 2022 -0700 |
committer | Tom Tromey <tom@tromey.com> | Tue Mar 29 12:46:25 2022 -0600 |
tree | 506c6fb2540ba78b522164a4ea81a80616b815a7 | |
parent | bed009b9d8601de825ac848c543ee9853628940d [diff] |
Remove ui_out_flag::unfiltered_output There is no longer any need for ui_out_flag::unfiltered_output -- nothing ever sets this flag. This used to be needed to make the _unfiltered output work, but now only printf_unfiltered can be used, and it uses the puts_unfiltered method. This patch removes the flag and the dead code.