summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-06-14 09:39:52 +1000
committerJed Barber <jjbarber@y7mail.com>2012-06-14 09:39:52 +1000
commit8ad06c403574b47e8cce845bf3a3816d841777b9 (patch)
treeac9ec20edb8b81b8432037ee054648ee8dec0dcc
parent9a2264088eec608c3fbf06264a8196b468802362 (diff)
Removed ID: marking from graph display
-rw-r--r--ProofGraph.hs2
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"