for review: bug fix for browser output streams.

[Bert Thompson]

Tyson Dowd <trd at cs.mu.OZ.AU> writes:


|Hi,

|Here's a bug fix for the browser library.
|I guess Bert would be the logical choice to review this, but
|others may want to have a look.

Looks fine.

However, it's a pity records aren't yet supported. All those
arguments to the browser state are getting unwieldy.

Bert

|===================================================================
|Estimated hours taken: 3

|Fix a bug in the debugger -- the term printing wasn't working after
|you had changed the output stream -- output would be sent to the
|program's output stream instead of the debugger's output stream.

|browser/browse.m:
|	Fix the output and streams used for the term browser.