# HG changeset patch
# User Manuele Conti <conti.ma@alice.it>
# Date 1355996811 -3600
# Node ID 308022f26450f3709216982b45f33dcc31e10a3d
# Parent  e7d6619f6145b8276956bffb5a807fb0c064899d# Parent  ffed675e79d83f8836b5a47da1fb76f9bc0b3d4d
Merge with Mario's repository.

diff -r ffed675e79d8 -r 308022f26450 absyntax_utils/debug_ast.cc
--- a/absyntax_utils/debug_ast.cc	Mon Dec 03 18:44:16 2012 +0000
+++ b/absyntax_utils/debug_ast.cc	Thu Dec 20 10:46:51 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) {