From 84f5e9f6cbe451caa3ce8fed0aa75a9df715e438 Mon Sep 17 00:00:00 2001 From: cannorin Date: Thu, 27 Feb 2025 18:28:53 +0900 Subject: [PATCH] kripke: hard reload on replaying random mode --- apps/web/src/routes/kripke/random/[seed]/+page.svelte | 1 + 1 file changed, 1 insertion(+) diff --git a/apps/web/src/routes/kripke/random/[seed]/+page.svelte b/apps/web/src/routes/kripke/random/[seed]/+page.svelte index f9a8db9..f89861e 100644 --- a/apps/web/src/routes/kripke/random/[seed]/+page.svelte +++ b/apps/web/src/routes/kripke/random/[seed]/+page.svelte @@ -87,6 +87,7 @@ $effect(() => {