-
Simon Marlow authored
Use ErrUtils.showPass for printing the '*** Core Linted...' message instead of rolling our own (also has the effect of sending this to stderr for consistency). Tidy up unused imports while I'm here.
3fe27db8
Use ErrUtils.showPass for printing the '*** Core Linted...' message instead of rolling our own (also has the effect of sending this to stderr for consistency). Tidy up unused imports while I'm here.