From 0095637dd7c9fd0a34d54c689261c87c8e219f01 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 27 Nov 2005 13:19:31 +0000 Subject: [PATCH] make pretty-print graph numbering consistent svn: r1417 --- collects/mzlib/pretty.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/mzlib/pretty.ss b/collects/mzlib/pretty.ss index 46f3381dff..ba2ba9dfe3 100644 --- a/collects/mzlib/pretty.ss +++ b/collects/mzlib/pretty.ss @@ -729,7 +729,8 @@ (and (hash-table? obj) print-hash-table?)))] [graph-ref (if can-multi (and found (hash-table-get found obj (lambda () #f))) - #f)]) + #f)] + [old-counter cycle-counter]) (if (and can-multi (or (not graph-ref) (not (unbox (mark-def graph-ref))))) @@ -753,6 +754,7 @@ ;; Doesn't fit on one line, so start over (begin (tentative-pretty-print-port-cancel a-pport) + (set! cycle-counter old-counter) (when graph-ref (expr-found pport graph-ref)) (pre-print pport obj)