tree 3f096ae576a008df74f7021fd9fbab2221d051ce
parent 58f631628f2a53e4d14b3ea26223345c1722c98e
author Till Westmann <tillw@apache.org> 1475620892 -0700
committer Till Westmann <tillw@apache.org> 1475719150 -0700

tiny cleanup

Change-Id: I5263537acff90a0a02b25dd26371760cba9fb665
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1250
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>