Replace incorrect use of stderr with outf_error.

diff --git a/v7/src/microcode/prgdbm.c b/v7/src/microcode/prgdbm.c
index aca93b88f45429d9743001dcec0dc28ca8873aec..916fc98d65784962441f9b2856d120c1ea4c3787 100644 (file)
--- a/v7/src/microcode/prgdbm.c
+++ b/v7/src/microcode/prgdbm.c
@@ -1,8 +1,8 @@
 /* -*-C-*-
 
-$Id: prgdbm.c,v 1.1 1996/04/23 20:36:48 cph Exp $
+$Id: prgdbm.c,v 1.2 1997/03/31 05:33:54 cph Exp $
 
-Copyright (c) 1996 Massachusetts Institute of Technology
+Copyright (c) 1996-97 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -149,8 +149,8 @@ DEFUN (datum_to_object, (d), datum d)
 static void
 DEFUN (gdbm_fatal_error, (msg), char * msg)
 {
-  fprintf (stderr, "\ngdbm: %s\n", msg);
-  fflush (stderr);
+  outf_error ("\ngdbm: %s\n", msg);
+  outf_flush_error ();
   error_external_return ();
 }
 \f