Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision bd91e2afb6df92caef7c482fb7c8ab8a8a35bf42)
+++ src/GenPoly/Box.cc	(revision 2e60a1acf6f276ab4fa11bb30b9ab76c82c0489d)
@@ -240,5 +240,7 @@
 		
 		for ( std::list< TypeDecl* >::const_iterator param = otypeParams.begin(); param != otypeParams.end(); ++param ) {
-			layoutFnType->get_parameters().push_back( new ObjectDecl( sizeofName( (*param)->get_base() ), DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, sizeAlignType.clone(), 0 ) );
+			TypeInstType paramType( Type::Qualifiers(), (*param)->get_name(), *param );
+			layoutFnType->get_parameters().push_back( new ObjectDecl( sizeofName( &paramType ), DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, sizeAlignType.clone(), 0 ) );
+			layoutFnType->get_parameters().push_back( new ObjectDecl( alignofName( &paramType ), DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, sizeAlignType.clone(), 0 ) );
 		}
 	}
