Remove extraneous code from tripgen.h