--- gui/wxmain.cc.old	2007-07-27 19:00:13.000000000 +0000
+++ gui/wxmain.cc	2007-07-27 19:05:50.000000000 +0000
@@ -850,8 +850,8 @@
     debugCommandEvent = NULL;
   } else {
     // store this command in debugCommand for the future
-    wxLogDebug (wxT("storing debugger command '")) +
-      wxString(tmp, wxConvUTF8) + wxT("'"));
+    wxLogDebug (wxString(wxT("storing debugger command '")) + 
+		wxString(tmp, wxConvUTF8) + wxT("'"));
     debugCommand = tmp;
   }
 }