tree 8fdbd2f91948efa24acb6a40c37e6b9fbf6c1be1
parent ac683db0848ac45991ee7e953c10251ae89b74f4
author Till Westmann <tillw@apache.org> 1456185654 -0800
committer Till Westmann <tillw@apache.org> 1456187361 -0800

remove unused member

Change-Id: I8d0660faacc39aa3a0fca50f4813669a0179c408
Reviewed-on: https://asterix-gerrit.ics.uci.edu/653
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>