diff --git a/src/ui/flutter/lib/mill/recorder.dart b/src/ui/flutter/lib/mill/recorder.dart index 2d31828e..60dfe13e 100644 --- a/src/ui/flutter/lib/mill/recorder.dart +++ b/src/ui/flutter/lib/mill/recorder.dart @@ -59,6 +59,10 @@ class GameRecorder { fullMove++; } + if (_history.length > 0) { + assert(_history[_history.length - 1].move != move.move); + } + _history.add(move); if (move.type == MoveType.remove) {