| commit | 19622df10dd5a8d3567e79d0661770029e4fbcfe | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Thu Nov 17 08:16:44 2022 -0700 |
| committer | Tom Tromey <tromey@adacore.com> | Mon Nov 28 13:22:40 2022 -0700 |
| tree | 87ac97fd74bf2da29e08790f67953243a89fbf82 | |
| parent | e1df90510a85d08eae165d868d6aa20bc1d09203 [diff] |
Remove 'saved_output' global CLI redirect uses a global variable, 'saved_output'. However, globals are generally bad, and there is no need for this one -- it can be a member of cli_interp_base. This patch makes this change.