Ruling on an incorrectly mucked hand?

[Ramon Scott]

After you've been pushed the pot, when should you release your hand... do you declare to the table... does anyone have any cards left.

Since it was so small, just chop, but the question still remains...