Indent comments less

40 chars is still enough indentation (most common MIR statements don't
take more than 40 chars), and fits more easily in 80-character
terminals.
This commit is contained in:
Jonas Schievink 2016-05-13 23:40:06 +02:00
parent 95a968c426
commit 2c7e398935

View File

@ -22,7 +22,7 @@
const INDENT: &'static str = " ";
/// Alignment for lining up comments following MIR statements
const ALIGN: usize = 50;
const ALIGN: usize = 40;
/// If the session is properly configured, dumps a human-readable
/// representation of the mir into: