--- a/absyntax_utils/debug_ast.cc	Sun Dec 02 18:20:02 2012 +0100
+++ b/absyntax_utils/debug_ast.cc	Thu Dec 20 10:42:01 2012 +0100
@@ -190,7 +190,7 @@
 
 
 void print_ast_c::print(const char *str) {
-  fprintf(stderr, str);
+  fprintf(stderr, "%s", str);
 }
 
   
@@ -209,7 +209,7 @@
 
 
 void debug_c::print(const char *str) {
-  fprintf(stderr, str);
+  fprintf(stderr, "%s", str);
 }
 
 void debug_c::print(symbol_c *symbol) {