diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-12-22 07:48:53 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-12-22 07:48:53 -0800 |
| commit | c69f33143c0460373aa77e100e3b3ca31a08ca10 (patch) | |
| tree | b47ca86dfecc33a932adbf9fa1d55852af2cf4eb /003trace.cc | |
| parent | c357b103d16e29ec0eb15c4a57d3906bb2edaf56 (diff) | |
| download | mu-c69f33143c0460373aa77e100e3b3ca31a08ca10.tar.gz | |
5819
Minor tweaks to stop wasting horizontal space in the trace.
Diffstat (limited to '003trace.cc')
| -rw-r--r-- | 003trace.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/003trace.cc b/003trace.cc index 539032c7..b4776d44 100644 --- a/003trace.cc +++ b/003trace.cc @@ -141,7 +141,7 @@ string unescape_newline(string& s) { } void dump_trace_line(ostream& s, trace_line& t) { - s << std::setw(4) << t.depth << ' ' << t.label << ": " << unescape_newline(t.contents) << '\n'; + s << std::setw(2) << t.depth << ' ' << t.label << ": " << unescape_newline(t.contents) << '\n'; } //: Starting a new trace line. |