--- a/stage4/generate_c/generate_c_typedecl.cc	Mon Aug 11 08:07:12 2014 +0100
+++ b/stage4/generate_c/generate_c_typedecl.cc	Sat Sep 27 20:09:19 2014 +0100
@@ -641,7 +641,9 @@
   /* This is NOT part of an implicitly declared datatype (i.e. we are being called from an visit(ref_type_decl_c *),
    * through the visit(ref_spec_init_c*)), so we need to simply print out the name of the datatype we reference to.
    */
-  return symbol->type_name->accept(*this);
+  symbol->type_name->accept(*this);
+  s4o_incl.print("*");
+  return NULL;
 }
 
 /* For the moment, we do not support initialising reference data types */