Remove an unused pragma