diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-03 15:08:18 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-03 15:08:18 +0200 |
| commit | 57e0b5d72575a5cfdf09cf79030da008dfd16abf (patch) | |
| tree | 5b36f2c3356ed54375500d46467364498aa81f19 /source/Test/Unit | |
| parent | 3c4226778dab90ec2b9067dad018aa056d42943e (diff) | |
Migrate preclosure spaces
Diffstat (limited to 'source/Test/Unit')
| -rw-r--r-- | source/Test/Unit/Migration.hs | 3 |
1 files changed, 3 insertions, 0 deletions
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) <- |