diff options
Diffstat (limited to 'source/Felix/Migration.hs')
| -rw-r--r-- | source/Felix/Migration.hs | 1 |
1 files changed, 1 insertions, 0 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. |