1.1 --- a/viewer.py Sun Oct 29 18:43:05 2006 +0100
1.2 +++ b/viewer.py Sun Oct 29 18:43:29 2006 +0100
1.3 @@ -88,7 +88,8 @@
1.4 self.stream.write("Nodes:\n\n")
1.5 for node in exc.nodes:
1.6 self.stream.write(repr(node) + "\n")
1.7 - self.dispatch_only(node.original, every_time=1)
1.8 + if node is not None:
1.9 + self.dispatch_only(node.original, every_time=1)
1.10 self.stream.write("\nOriginal node was:\n\n" + repr(exc.nodes[0].original) + "\n")
1.11 self.stream.write("\nSimplified node was:\n\n")
1.12 exc.nodes[0].pprint(stream=self.stream)