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