Delete eqcmp.v