tree 7977b502e2716b8fd21b56e7a308e75c764ec6d4
parent 5e7cd7bf59501d6f1f90910a9da87effae7b9328
author David Brazdil <dbrazdil@google.com> 1440086364 +0100
committer David Brazdil <dbrazdil@google.com> 1440086474 +0100

Fix formatting comment in Checker

Change-Id: Idf5cf2d4be12a56777039aca3aa1c8563bcb9089