sql/sql_yacc.yy:
  Correct an erroneous manual merge, which had brought a duplicate line - remove one.