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(() => {