diff -r 566414d7ba1f -r 477393b00f95 stage4/generate_c/generate_c_configbody.cc
--- a/stage4/generate_c/generate_c_configbody.cc	Sat Oct 25 13:20:10 2014 +0100
+++ b/stage4/generate_c/generate_c_configbody.cc	Sun Nov 16 12:54:10 2014 +0000
@@ -22,11 +22,11 @@
  * used in safety-critical situations without a full and competent review.
  */
 
-class generate_c_configbody_c: public generate_c_base_c {
+class generate_c_configbody_c: public generate_c_base_and_typeid_c {
 
   public:
     generate_c_configbody_c(stage4out_c *s4o_ptr)
-    : generate_c_base_c(s4o_ptr) {
+    : generate_c_base_and_typeid_c(s4o_ptr) {
       current_resource_name = NULL;
     }