From ffe43d13e455abcefc290f0e25dd995ede7d98c2 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 18 Apr 2022 11:59:42 +0100
Subject: [PATCH] Fix type of PreparedPieceState.held in the JS

I was comparing the JS and Rust versions, and spotted this
discrepancy.

In fact it is assigned to internal fields and variables which are all
nullable, so there is no other code change needed.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 templates/script.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/templates/script.ts b/templates/script.ts
index f21513ab..f0281a03 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -1747,7 +1747,7 @@ messages.Piece = <MessageHandler>handle_piece_update;
 type PreparedPieceState = {
   pos: Pos,
   svg: string,
-  held: PlayerId,
+  held: PlayerId | null,
   z: ZCoord,
   zg: Generation,
   pinned: boolean,
-- 
2.30.2