From bae0de6ce7065a898df79d494bc12524813fbda5 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 29 Dec 2020 03:12:56 +0000
Subject: [PATCH] type of Generation

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 950393ab..aaef76d7 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -97,7 +97,7 @@ var our_dnd_type = "text/puvnex-game-server-dummy";
 var api_queue : [string, Object][] = [];
 var api_posting = false;
 var us : PlayerId;
-var gen = 0;
+var gen : Generation = 0;
 var cseq : ClientSeq = 0;
 var ctoken : string;
 var uo_map : { [k: string]: UoRecord | null } = Object.create(null);
-- 
2.30.2