*** ./src/input.cc.orig3	2004-09-22 10:15:33.000000000 +0200
--- ./src/input.cc	2004-11-25 17:56:16.000000000 +0100
***************
*** 541,547 ****
    // We look at curr_caller_function because curr_function is always
    // "keyboard".
  
!   if (curr_caller_function)
      {
        nm = curr_caller_function->fcn_file_name ();
  
--- 541,547 ----
    // We look at curr_caller_function because curr_function is always
    // "keyboard".
  
!   if (debug && curr_caller_function)
      {
        nm = curr_caller_function->fcn_file_name ();