From 07ef4f108ec8c297ae3c9acfafc80be79bb0966d Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 17 May 2016 01:10:26 -0400 Subject: [PATCH] Improve printing of actor state --- racket/syndicate/actor.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/racket/syndicate/actor.rkt b/racket/syndicate/actor.rkt index e60e438..6867486 100644 --- a/racket/syndicate/actor.rkt +++ b/racket/syndicate/actor.rkt @@ -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 " - ")