Merge Sequoia beautification into Korat code

Signed-off-by: Larry Johnson <lrj@acm.org>
1 file changed