Delete exp-syntax.k~