From 8702e59235bdea85d753a2a9c17957cff0f9c2ec Mon Sep 17 00:00:00 2001
From: Shlomi Fish <shlomif@shlomifish.org>
Date: Fri, 14 Jun 2024 08:44:04 +0300
Subject: [PATCH] =?UTF-8?q?refactoring:=20add=20types+=E2=80=9Cconst=20tha?=
 =?UTF-8?q?t=E2=80=9D?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 fc-solve/site/wml/src/ts/web-fcs-api-base.ts | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/fc-solve/site/wml/src/ts/web-fcs-api-base.ts b/fc-solve/site/wml/src/ts/web-fcs-api-base.ts
index 983ed3e61..a65067d13 100644
--- a/fc-solve/site/wml/src/ts/web-fcs-api-base.ts
+++ b/fc-solve/site/wml/src/ts/web-fcs-api-base.ts
@@ -49,15 +49,16 @@ class MSRand {
         that.module_wrapper.ms_rand__init(that.rander, "" + that.gamenumber);
         return;
     }
-    public max_rand(mymax) {
+    public max_rand(mymax: number): number {
         const that = this;
         return that.module_wrapper.ms_rand__mod_rand(that.rander, mymax);
     }
     public shuffle(deck) {
+        const that = this;
         if (deck.length) {
             let i = deck.length;
             while (--i) {
-                const j = this.max_rand(i + 1);
+                const j = that.max_rand(i + 1);
                 const tmp = deck[i];
                 deck[i] = deck[j];
                 deck[j] = tmp;