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

diff -r 80a8a79ea6e4 -r 3ed5cf2aef94 src/error.cc
--- a/src/error.cc	Wed Aug 10 04:27:50 1994 +0000
+++ b/src/error.cc	Fri Aug 12 04:20:27 1994 +0000
@@ -47,7 +47,8 @@
 
   ostrstream output_buf;
 
-  output_buf << name << ": ";
+  if (name)
+    output_buf << name << ": ";
   output_buf.vform (fmt, args);
   output_buf << endl;