--- a/stage4/generate_cc/generate_cc_vardecl.cc	Thu Jul 19 14:07:04 2007 +0200
+++ b/stage4/generate_cc/generate_cc_vardecl.cc	Fri Jul 20 22:07:15 2007 +0200
@@ -1347,7 +1347,8 @@
 void *visit(configuration_declaration_c *symbol) {
   TRACE("configuration_declaration_c");
 
-  symbol->global_var_declarations->accept(*this); // will contain VAR_GLOBAL declarations!!
+  if(symbol->global_var_declarations)
+    symbol->global_var_declarations->accept(*this); // will contain VAR_GLOBAL declarations!!
   symbol->resource_declarations->accept(*this);   // will contain PROGRAM declarations!!
   return NULL;
 }