Fix a typo

snowleopard · Mar 3, 2017 · 1c1a052 · 1c1a052
1 parent 036bfda
commit 1c1a052
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library.tex b/library.tex
@@ -70,7 +70,7 @@
 induce        :: Graph g => (Vertex g -> Bool) -> GraphMonad (Vertex g) -> g
 removeVertex  :: (Graph g, Eq (Vertex g)) => Vertex g -> GraphMonad (Vertex g) -> g
 splitVertex   :: (Graph g, Eq (Vertex g)) => Vertex g -> [Vertex g] -> GraphMonad (Vertex g) -> g
-removeEdge    :: (Graph g, Eq (Vertex g)) => Vertex g -> Vertex g -> GraphMonad (Vertex g) -> g
+removeEdge    :: (Graph g, Eq (Vertex g)) => Vertex g -> Vertex g -> RemoveEdge (Vertex g) -> g
 box           :: (Graph g, Vertex g @\teq@ (u, v)) => GraphFunctor u -> GraphFunctor v -> g
 deBruijn      :: (Graph g, Vertex g @\teq@ [a]) => Int -> [a] -> g
 \end{minted}