tree e29bb8da2aec8aa1cbff43cd2dc3c54fba8fe055
parent 8216bd88a75cffbbd7d08befdc1bbfe80a244ca5
author Till Westmann <tillw@apache.org> 1481420877 -0800
committer Michael Blow <mblow@apache.org> 1481597611 -0800

reduce code duplication a tiny bit

Change-Id: I3f3bf5fb423cd55bd7fc168ac7a9014a24bc516c
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1365
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Michael Blow <mblow@apache.org>