diff -r efab3a94d3c0 -r f8f1d89ff7d5 absyntax_utils/debug_ast.hh
--- 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);