type of Generation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/templates/script.ts b/templates/script.ts
index 950393ab7ed2ff6c9c39a037d41a16734440f73b..aaef76d71ee24f28730c681f3df97b68beeea49b 100644 (file)
--- 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);