# HG changeset patch
# User Conti Manuele <manuele.conti@alice.it>
# Date 1335278983 -7200
# Node ID 199bdfe36166eae9064b58d0cbdfeea891fcf5f8
# Parent  563b013ec67069a4dd6ff6b723f2f587cec2b6dc
Fix code generation about __INIT_GLOBAL_LOCATED.

diff -r 563b013ec670 -r 199bdfe36166 stage4/generate_c/generate_c.cc
--- a/stage4/generate_c/generate_c.cc	Wed Apr 25 16:56:25 2012 +0100
+++ b/stage4/generate_c/generate_c.cc	Tue Apr 24 16:49:43 2012 +0200
@@ -1674,7 +1674,8 @@
   s4o.print(s4o.indent_spaces);
   vardecl = new generate_c_vardecl_c(&s4o,
                                      generate_c_vardecl_c::constructorinit_vf,
-                                     generate_c_vardecl_c::global_vt);
+                                     generate_c_vardecl_c::global_vt,
+                                     symbol->configuration_name);
   vardecl->print(symbol);
   delete vardecl;
   s4o.print("\n");