changeset 350 | 2c3c4dc34979 |
parent 329 | 882f5f1e5f6f |
child 377 | 60b012b7793f |
--- a/stage4/generate_c/generate_c_typedecl.cc Mon Jul 11 09:47:27 2011 +0100 +++ b/stage4/generate_c/generate_c_typedecl.cc Fri Jul 29 16:03:28 2011 +0100 @@ -76,10 +76,6 @@ basetypedeclaration_t current_basetypedeclaration; - int extract_integer(symbol_c *integer) { - return atoi(((integer_c *)integer)->value); - } - void print_integer(unsigned int integer) { char str[10]; sprintf(str, "%d", integer);