changeset 979 | f8f1d89ff7d5 |
parent 725 | bfbe4aca6b77 |
--- a/absyntax_utils/debug_ast.hh Sun Dec 28 12:04:07 2014 +0000 +++ b/absyntax_utils/debug_ast.hh Sun Dec 28 12:05:39 2014 +0000 @@ -46,8 +46,9 @@ class debug_c { public: - static void print(symbol_c *symbol); - static void print(const char *str); + static void print(const_value_c cvalue); + static void print(symbol_c *symbol); + static void print(const char *str); /* print the AST from this point downwards */ static void print_ast(symbol_c *root_symbol);