tree 08b0e12f1864c62d17f1a646989fbc3cae62eb19
parent 084f6ec9af0c054f0386a13f62daf0790d6244ae
author Josh Gao <jmgao@google.com> 1507840452 -0700
committer Josh Gao <jmgao@google.com> 1508214697 -0700

Trivial style fix.

Test: none
Change-Id: I710d29293171c6160558dab66c515eae16b92923