diff options
| -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" |