Delete integ_trap.h