Activate exact equivalence checking

2 files changed, 9 insertions, 1 deletions

diff --git a/source/Felix/Migration.hs b/source/Felix/Migration.hs
index 7596e26..ff2b019 100644
--- a/source/Felix/Migration.hs
+++ b/source/Felix/Migration.hs
@@ -185,6 +185,7 @@ phase53LibraryMigrationModules =
         , migrationLibraryModule "set/equinumerosity.tex"
         , migrationLibraryModule "order/quasiorder.tex"
         , migrationLibraryModule "order/order.tex"
+        , migrationLibraryModule "relation/equivalence.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 5f27721..0cd48be 100644
--- a/source/Test/Unit/Migration.hs
+++ b/source/Test/Unit/Migration.hs
@@ -145,6 +145,13 @@ selectsCompleteGraphDriver = do
             , "order/quasiorder.tex"
             ]
           )
+        , ( "relation/equivalence.tex"
+          , [ "set.tex"
+            , "set/partition.tex"
+            , "relation.tex"
+            , "order/quasiorder.tex"
+            ]
+          )
         ]
         \(path, expectedImports) -> do
             (phase53, _phase53Measurements) <-
@@ -163,7 +170,7 @@ selectsCompleteGraphDriver = do
                     (Parse.parsedWorkspaceRootModule phase53)
                 ]
     (laterImporter, _laterMeasurements) <-
-        expectRight =<< parseRoot "relation/equivalence.tex"
+        expectRight =<< parseRoot "relation/closure.tex"
     assertEqual "unselected later importer remains legacy"
         LegacyMigrationGraph
         (classifyMigrationGraph selection laterImporter)