Index: src/InitTweak/GenInit.cc
===================================================================
--- src/InitTweak/GenInit.cc	(revision 70a1c3aed5e5b84a329ddc71a02c60806fd80216)
+++ src/InitTweak/GenInit.cc	(revision bbbc067e84adc59b31d39e97991980bf6379934a)
@@ -45,5 +45,5 @@
 namespace InitTweak {
 	namespace {
-		const std::list<Label> noLabels;
+		const std::vector< Label >  noLabels;
 		const std::list<Expression *> noDesignators;
 	}