* lib.scm (print-result, print-user-result): Changed the
authorDirk Herrmann <dirk@dirk-herrmanns-seiten.de>
Sun, 21 Jul 2002 12:01:26 +0000 (12:01 +0000)
committerDirk Herrmann <dirk@dirk-herrmanns-seiten.de>
Sun, 21 Jul 2002 12:01:26 +0000 (12:01 +0000)
commit8f28ea31bb2a95e88b9d9e6e4f29655ab077c939
tree57b056fe029d58d1bb073a8d1e56e19ab0d34236
parentbde9d30b514ffffea48f68d303abd3e6fb159a90
* lib.scm (print-result, print-user-result): Changed the
reporter's outputs to use symbols rather than strings to document
the individual values.  Thanks to Neil Jerram for the suggestion.
benchmark-suite/ChangeLog
benchmark-suite/lib.scm