Delete fun.h