Delete disallow.h