Improve printing of actor state

This commit is contained in:
Tony Garnock-Jones 2016-05-17 01:10:26 -04:00
parent b1f7816418
commit 07ef4f108e
1 changed files with 2 additions and 2 deletions

View File

@ -953,10 +953,10 @@
(fprintf p " - pending-patch:\n")
(display (indented-port-output 3 (lambda (p) (syndicate-pretty-print pending-patch p))) p)
(newline p)
(fprintf p " - previous assertions:\n")
(fprintf p " - previous assertions from the environment:\n ")
(pretty-print-trie prev-assertions p #:indent 3)
(newline p)
(fprintf p " - current assertions:\n")
(fprintf p " - current assertions from the environment:\n ")
(pretty-print-trie curr-assertions p #:indent 3)
(newline p)
(fprintf p " - ")