diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-06-14 09:39:52 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-06-14 09:39:52 +1000 |
| commit | 8ad06c403574b47e8cce845bf3a3816d841777b9 (patch) | |
| tree | ac9ec20edb8b81b8432037ee054648ee8dec0dcc | |
| parent | 9a2264088eec608c3fbf06264a8196b468802362 (diff) | |
Removed ID: marking from graph display
| -rw-r--r-- | ProofGraph.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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" |