Undo a match

Copyright 2020 Compleat