src/Tools/Graphview/src/mutator.scala

--- a/src/Tools/Graphview/src/mutator.scala	Mon Oct 08 21:17:20 2012 +0200
+++ b/src/Tools/Graphview/src/mutator.scala	Mon Oct 08 23:29:07 2012 +0200
@@ -139,7 +139,7 @@
     "Hide transitive edges",
     "Hides all transitive edges.",
     (g, s, d) => {
-      !g.imm_succs(s).filter(_ != d)
+      !g.imm_succs(s).filter(_ != d)  // FIXME iterator
       .exists(p => !(g.irreducible_paths(p, d).isEmpty))
     }
   )