diff: browser output to stdout

[Fergus Henderson]

Estimated hours taken: 0.25

browser/browse.m:
	Print the browser output to stdout rather than stderr,
	for consistency with the rest of mdb's output,
	and to avoid breaking all the test cases in
	tests/debugger.

Index: browser/browse.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/browse.m,v
retrieving revision 1.4
diff -u -r1.4 browse.m
--- browse.m	1998/12/08 03:44:42	1.4
+++ browse.m	1998/12/16 23:14:52
@@ -690,10 +690,10 @@
 	{ DummyObject = "" },
 	{ type_to_univ(DummyObject, Univ) },
 	{ default_depth(DefaultDepth) },
-	io__stderr_stream(StdErr),
+	io__stdout_stream(StdOut),
 	io__stdin_stream(StdIn),
 	{ State = browser_state(Univ, 3, DefaultDepth, [], verbose, 79, 25,
-		StdIn, StdErr) }.
+		StdIn, StdOut) }.
 
 	% This is simply used to provide a variable of the type
 	% browser_state.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.