Delete contract.h