--- output.cc.old	2006-04-22 23:03:01.000000000 +0000
+++ output.cc	2006-05-20 21:27:53.000000000 +0000
@@ -673,7 +673,7 @@
    In addition, YOU MUST SANDWHICH EACH EXECUTION IF THIS CALL BETWEEN
    va_start() AND va_end() calls. */
 void log_vwrite(int logt, const char *fmt, va_list ap) {
-  static char *writebuf = NULL;;
+  static char *writebuf = NULL;
   int writebuflen = 65536;
   bool skid_noxlate = false;
   int rc = 0;