# HG changeset patch
# User jwe
# Date 776665227 0
# Node ID 3ed5cf2aef94c45dca31a660338fea095b9ebea4
# Parent  80a8a79ea6e4f1841ba7ea48d7b21d6d8988566c
[project @ 1994-08-12 04:20:27 by jwe]

diff --git a/src/error.cc b/src/error.cc
--- a/src/error.cc
+++ b/src/error.cc
@@ -47,7 +47,8 @@
 
   ostrstream output_buf;
 
-  output_buf << name << ": ";
+  if (name)
+    output_buf << name << ": ";
   output_buf.vform (fmt, args);
   output_buf << endl;