Migrate preclosure spaces

2 files changed, 4 insertions, 0 deletions

diff --git a/source/Felix/Migration.hs b/source/Felix/Migration.hs
index 0ba3ec0..651f2c9 100644
--- a/source/Felix/Migration.hs
+++ b/source/Felix/Migration.hs
@@ -193,6 +193,7 @@ phase53LibraryMigrationModules =
         , migrationLibraryModule "algebra/quasigroup.tex"
         , migrationLibraryModule "algebra/loop.tex"
         , migrationLibraryModule "order/semilattice.tex"
+        , migrationLibraryModule "topology/preclosure.tex"
         ]
 
 -- | Sources whose complete graphs may enter the typed driver.
diff --git a/source/Test/Unit/Migration.hs b/source/Test/Unit/Migration.hs
index 7f0a91e..2f97199 100644
--- a/source/Test/Unit/Migration.hs
+++ b/source/Test/Unit/Migration.hs
@@ -165,6 +165,9 @@ selectsCompleteGraphDriver = do
         , ( "order/semilattice.tex"
           , ["order/order.tex", "function.tex"]
           )
+        , ( "topology/preclosure.tex"
+          , ["set.tex", "function.tex"]
+          )
         ]
         \(path, expectedImports) -> do
             (phase53, _phase53Measurements) <-