Update TrisTRE.c