diff -r c3287ffaee8c -r 51a2fa6441b9 stage4/generate_c/generate_c_inlinefcall.cc
--- a/stage4/generate_c/generate_c_inlinefcall.cc	Thu Oct 25 18:51:55 2012 +0100
+++ b/stage4/generate_c/generate_c_inlinefcall.cc	Fri Oct 26 10:11:28 2012 +0100
@@ -232,10 +232,10 @@
     /* a small helper function */
     symbol_c *default_literal_type(symbol_c *symbol) {
       if (get_datatype_info_c::is_ANY_INT_literal(symbol)) {
-        return &search_constant_type_c::lint_type_name;
+        return &get_datatype_info_c::lint_type_name;
       }
       else if (get_datatype_info_c::is_ANY_REAL_literal(symbol)) {
-        return &search_constant_type_c::lreal_type_name;
+        return &get_datatype_info_c::lreal_type_name;
       }
       return symbol;
     }