Delete tri.h