Renamed fwdDual to fwdDualAsBwdOp, removed an unneeded import

explorable-viz · Oct 27, 2023 · 1baa1d7 · 1baa1d7
1 parent e5e1793
commit 1baa1d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Util.purs b/test/Util.purs
@@ -24,7 +24,7 @@ import Expr (ProgCxt)
 import GaloisConnection (GaloisConnection(..))
 import Graph (Vertex, selectαs, select𝔹s, sinks, vertices)
 import Graph.GraphImpl (GraphImpl)
-import Graph.Slice (bwdSliceDual, fwdDual, fwdDualAsBwdOp, fwdSliceDeMorgan) as G
+import Graph.Slice (bwdSliceDual, fwdDualAsBwdOp, fwdSliceDeMorgan) as G
 import Lattice (Raw, 𝔹, botOf, erase, topOf)
 import Module (File, initialConfig, open, parse)
 import Parse (program)