add forgotten import

martinescardo · Nov 21, 2024 · 9ffd8ff · 9ffd8ff
1 parent 1541624
commit 9ffd8ff
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/source/Ordinals/Indecomposable.lagda b/source/Ordinals/Indecomposable.lagda
@@ -15,5 +15,6 @@ This file has been moved to the following location:
 
 module Ordinals.Indecomposable where
 
+import Taboos.Decomposability
 
 \end{code}