diff -r e5deeb6d4d2f -r 5f79478142d7 absyntax_utils/absyntax_utils.hh
--- a/absyntax_utils/absyntax_utils.hh	Wed Jun 06 13:28:50 2012 +0100
+++ b/absyntax_utils/absyntax_utils.hh	Wed Jun 06 16:39:54 2012 +0100
@@ -58,7 +58,7 @@
 /* extract the value of an integer/hex_integer/real from an integer_c/hex_integer_c/real_c symbol !! */
 long long extract_integer_value(symbol_c *sym);
 uint64_t  extract_hex_value    (symbol_c *sym);
-double    extract_real_value   (symbol_c *sym);
+real64_t  extract_real_value   (symbol_c *sym);
   
 /* A symbol table with all globally declared functions... */
 extern function_declaration_c null_symbol1;