Remove an unneeded forall.

diff --git a/program/BellmanFord.hs b/program/BellmanFord.hs
index da0fdf8..34e2a63 100644 (file)
--- a/program/BellmanFord.hs
+++ b/program/BellmanFord.hs
@@ -81,7 +81,7 @@ endPass state = do
                                        aqEnqueue (bfsChanged state) (bfsPassEnder state)
                                        search state -- Continue with the next pass.
 
-search :: forall s gr a b w. (Graph gr, Real w) => BFState s gr a b w -> ST s ()
+search :: (Graph gr, Real w) => BFState s gr a b w -> ST s ()
 search state = do
        Just node <- aqDequeue (bfsChanged state)
        if node == bfsPassEnder state