tree 121e5edf331796f61d6635c3555475ff5ca5506c
parent 927207e8fad59868912b1c0ea2a02f805edbaf25
author Till Westmann <tillw@apache.org> 1488475410 -0800
committer Till Westmann <tillw@apache.org> 1488560101 -0800

slightly shorter toString()

Change-Id: Iec1e96fcc829d081f4d1dce6f1111dcf9af19f64
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1541
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: Michael Blow <mblow@apache.org>