# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 808100782 0
# Node ID 1aad581760b913e51b50bea52c2511bf8e55aff0
# Parent  cbc13edaa77dc6b871e297530ad3f0686bc8b0a8
(fatal_unexec): Use vfprintf, not _doprnt.

diff -r cbc13edaa77d -r 1aad581760b9 src/unexalpha.c
--- a/src/unexalpha.c	Fri Aug 11 00:22:47 1995 +0000
+++ b/src/unexalpha.c	Fri Aug 11 00:26:22 1995 +0000
@@ -442,7 +442,7 @@
   else
     fprintf (stderr, "unexec: %s, ", strerror (errno));
   va_start (ap);
-  _doprnt (s, ap, stderr);
+  vfprintf (stderr, s, ap);
   fputs (".\n", stderr);
   exit (1);
 }