Correct an erroneous manual merge.

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

sql/sql_yacc.yy

@@ -4582,7 +4582,6 @@ row_types:
         | COMPRESSED_SYM { $$= ROW_TYPE_COMPRESSED; }
         | REDUNDANT_SYM  { $$= ROW_TYPE_REDUNDANT; }
 	| COMPACT_SYM    { $$= ROW_TYPE_COMPACT; }
-	| COMPACT_SYM    { $$= ROW_TYPE_COMPACT; }
 	| PAGE_SYM       { $$= ROW_TYPE_PAGE; }
         ;