From 6c6bb05fc3cde36398f4f4ad7f72560eb6f3f1b6 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Fri, 18 Oct 2024 16:59:59 +0000
Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=B9?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 packages/viewer/src/components/Spaces/List.svelte   | 2 +-
 packages/viewer/src/components/Spaces/Show.svelte   | 2 +-
 packages/viewer/src/components/Theorems/Show.svelte | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/packages/viewer/src/components/Spaces/List.svelte b/packages/viewer/src/components/Spaces/List.svelte
index 1edadfac..6182d6f7 100644
--- a/packages/viewer/src/components/Spaces/List.svelte
+++ b/packages/viewer/src/components/Spaces/List.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import { Filter, Link, Title, Typeset } from '@/components/Shared'
+  import { Filter, Link, Typeset } from '@/components/Shared'
   import type { Space } from '@/models'
   import type { Store } from '@/stores/list'
 
diff --git a/packages/viewer/src/components/Spaces/Show.svelte b/packages/viewer/src/components/Spaces/Show.svelte
index 9744a142..59814168 100644
--- a/packages/viewer/src/components/Spaces/Show.svelte
+++ b/packages/viewer/src/components/Spaces/Show.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import type { Space } from 'src/models'
+  import type { Space } from '@/models'
   import { Aliases, Link, References, Source, Tabs, Typeset } from '../Shared'
   import Counterexamples from './Counterexamples.svelte'
   import Properties from './Properties.svelte'
diff --git a/packages/viewer/src/components/Theorems/Show.svelte b/packages/viewer/src/components/Theorems/Show.svelte
index e2a8f895..b3c4b536 100644
--- a/packages/viewer/src/components/Theorems/Show.svelte
+++ b/packages/viewer/src/components/Theorems/Show.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import type { Theorem } from 'src/models'
+  import type { Theorem } from '@/models'
   import { Link, References, Tabs, Source, Typeset } from '../Shared'
   import Name from './Name.svelte'
   import Converse from './Converse.svelte'