coloring: Fix documentation formatting
authorJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Sun, 21 May 2017 23:24:10 +0000 (19:24 -0400)
committerJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Sun, 21 May 2017 23:25:31 +0000 (19:25 -0400)
commitbfe972f60b1e2e9bc47dc2e73746368c3005fdce
tree021ec6a6ff7d0ed24318aa1f00fa543d3409a7a0
parent3bdd01457bde6b8542755855f937742b400dc0d3
coloring: Fix documentation formatting

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
src/compiler/coloring.nit