| author | Manuele Conti <conti.ma@alice.it> |
| Thu, 20 Dec 2012 10:46:51 +0100 | |
| changeset 768 | 308022f26450 |
| parent 767 | e7d6619f6145 (diff) |
| parent 766 | ffed675e79d8 (current diff) |
| child 773 | d23c660361b1 |
--- 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) {