From 8ad06c403574b47e8cce845bf3a3816d841777b9 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 14 Jun 2012 09:39:52 +1000 Subject: Removed ID: marking from graph display --- ProofGraph.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ProofGraph.hs b/ProofGraph.hs index 6459591..780f3ed 100644 --- a/ProofGraph.hs +++ b/ProofGraph.hs @@ -22,7 +22,7 @@ data Graph a = Graph { nodes :: Set (Node a) } instance (Show a, Eq a) => Show (Node a) where - show x = let header = "ID: " ++ (show . contents $ x) + show x = let header = show . contents $ x footer = if ((successors x) == Set.empty) then "\n" else " -> " ++ List.intercalate ", " (map (show . contents) (Set.toList . successors $ x)) ++ "\n" -- cgit