Add back a line that was inadvertedly removed.

diff --git a/www/js/book.js b/www/js/book.js
index 2c5af12dc09f22530f67d0479329584e0fc66ed4..9a2456ee6c081ca911681a2bb40f8c3b3555a2ec 100644 (file)
--- a/www/js/book.js
+++ b/www/js/book.js
@@ -234,6 +234,7 @@ var make_move = function(move) {
                // User effectively only moved forward in history.
                ++move_override;
        } else {
+               history.length = move_override;
                history.push(move);
                move_override = history.length;
        }