flutter: position.dart: Change Move? to late Move

2021-04-17 00:44:19 +08:00 · 2021-04-17 00:44:19 +08:00 · 38d89b2d3d
parent e6f625a5b9
commit 38d89b2d3d
1 changed files with 1 additions and 2 deletions
--- a/src/ui/flutter_app/lib/mill/position.dart
+++ b/src/ui/flutter_app/lib/mill/position.dart
@ -76,8 +76,7 @@ class Position {
  late var millTable;
  late var moveTable;

-  // TODO: null-safety
-  Move? move;
+  late Move move;

  Position.boardToGrid() {
    _grid = [];