Delete domainrestriction_abstract.aux