tree 506c6fb2540ba78b522164a4ea81a80616b815a7
parent bed009b9d8601de825ac848c543ee9853628940d
author Tom Tromey <tom@tromey.com> 1641154125 -0700
committer Tom Tromey <tom@tromey.com> 1648579585 -0600

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.