# HG changeset patch
# User Manuele Conti <conti.ma@alice.it>
# Date 1355996521 -3600
# Node ID e7d6619f6145b8276956bffb5a807fb0c064899d
# Parent  d15f13bff9c6628ad60dd2f3d7ab329af4290e88
Fix warning about call fprintf without format string.

diff -r d15f13bff9c6 -r e7d6619f6145 absyntax_utils/debug_ast.cc
--- 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) {