set diffopt