Fix #1015

Issuing 'undo' in the prover when there is
nothing to undo should result in a less
scary looking error message.
Merge pull request #1145 from raichoo/fix1015

Fix #1015