diff -r ba80c3ceb6fb -r 2c3c4dc34979 stage4/generate_c/generate_c_typedecl.cc
--- 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);