# HG changeset patch
# User jwe
# Date 776665653 0
# Node ID 7dc9a549e38013bf2b0d789106d8b8799389614d
# Parent  3ed5cf2aef94c45dca31a660338fea095b9ebea4
[project @ 1994-08-12 04:27:33 by jwe]

diff --git a/src/error.cc b/src/error.cc
--- a/src/error.cc
+++ b/src/error.cc
@@ -41,7 +41,8 @@
 static void
 verror (const char *name, const char *fmt, va_list args)
 {
-  cerr << name << ": ";
+  if (name)
+    cerr << name << ": ";
   cerr.vform (fmt, args);
   cerr << endl;