  In "Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of
Partial Terms" LNCS 7750,161-172(2013), we have shown that the cut rule is
eliminable in two ground equational sequent calculi, to be denoted by EQ_M and
EQ'. In this note we prove that the contraction rule is not eliminable in EQ_M
but it is eliminable in EQ'.
