--- a/absyntax_utils/debug_ast.cc	Mon Mar 11 12:54:25 2013 +0100
+++ b/absyntax_utils/debug_ast.cc	Thu Apr 04 09:45:11 2013 +0900
@@ -95,7 +95,7 @@
 
 
 void print_symbol_c::dump_symbol(symbol_c* symbol) {
-  fprintf(stderr, "(%03d:%03d..%03d:%03d) \t%s\t", symbol->first_line, symbol->first_column, symbol->last_line, symbol->last_column, symbol->absyntax_cname());
+  fprintf(stderr, "(%s->%03d:%03d..%03d:%03d) \t%s\t", symbol->first_file, symbol->first_line, symbol->first_column, symbol->last_line, symbol->last_column, symbol->absyntax_cname());
 
   fprintf(stderr, "  datatype=");
   if (NULL == symbol->datatype)