diff src/pr-output.cc @ 3769:7c8e3c42ed04

[project @ 2001-01-31 22:15:51 by jwe]
author jwe
date Wed, 31 Jan 2001 22:15:55 +0000
parents 9507d6de9bbd
children 13905c3a24af
line wrap: on
line diff
--- a/src/pr-output.cc
+++ b/src/pr-output.cc
@@ -1828,7 +1828,7 @@
 
       if (! error_state)
 	{
-	  ostream *osp = os.output_stream ();
+	  std::ostream *osp = os.output_stream ();
 
 	  if (osp)
 	    args(1).print (*osp);