tree c7f754b2a4cc41d2fb89a8c031803b5734f33b96
parent a6e1fbf84d12240422ee81de474b6f1557f04867
author Damon Lee <Damon.Lee@data61.csiro.au> 1563336825 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4test: Remove seL4_timer_t from env

This struct member was not being used anywhere at all, so we remove it.