--- sanity.cc_orig	Sun Oct 10 18:17:59 2004
+++ sanity.cc	Wed Nov 10 05:53:20 2004
@@ -49,7 +49,7 @@
 	ui.inform("failed to write debugging log to " + filename + "\n");
     }
   else
-    ui.inform("discarding debug log\n");
+    ui.inform(string("discarding debug log\n"));
 }
 
 void