Clear undo at game over.

1 files changed, 2 insertions, 0 deletions

diff --git a/rules.js b/rules.js
index e8d0897..0b9fe5b 100644
--- a/rules.js
+++ b/rules.js
@@ -3123,6 +3123,7 @@ function goto_pause_game_over() {
 	if (game.undo && game.undo.length > 0 && !is_winner) {
 		game.state = 'pause_game_over'
 	} else {
+		clear_undo()
 		game.state = 'game_over'
 		game.active = 5
 	}
@@ -3135,6 +3136,7 @@ states.pause_game_over = {
 		gen_action('end_game')
 	},
 	end_game() {
+		clear_undo()
 		game.state = 'game_over'
 		game.active = 5
 	}