formatting

Change-Id: Ic73d43db6a1dc76a4c454c983ada1fd9376f67ff
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1263
Reviewed-by: Michael Blow <mblow@apache.org>
2 files changed