Declarer claimed last 3 tricks.
All agreed and result was put into Bridgemate. The next deal was removed from board but no calls yet made. Opponents started discussing the previous hand and decided that declarer must have revoked because he must have had some spade losers.
How best to rule on this?