🧹

pi-base · Oct 18, 2024 · 6c6bb05 · 6c6bb05
1 parent 320c9db
commit 6c6bb05
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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'