Index: src/Parser/TypeData.cc
===================================================================
--- src/Parser/TypeData.cc	(revision 579263a52ab065d42a5208e15e3d707dd0d03798)
+++ src/Parser/TypeData.cc	(revision 6242335009c5d2ebee1bb50d1d228f5aacb0e5bd)
@@ -777,6 +777,7 @@
 TupleType * buildTuple( const TypeData * td ) {
 	assert( td->kind == TypeData::Tuple );
-	TupleType * ret = new TupleType( buildQualifiers( td ) );
-	buildTypeList( td->tuple, ret->get_types() );
+	std::list< Type * > types;
+	buildTypeList( td->tuple, types );
+	TupleType * ret = new TupleType( buildQualifiers( td ), types );
 	buildForall( td->forall, ret->get_forall() );
 	return ret;