Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision bd8540001c298d12d68dabcd274a24ed5a4dfb7a)
+++ src/GenPoly/Box.cc	(revision d63eeb0d6eeb995b4c8c414f1d4989b0189ef8ca)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Feb  5 16:45:07 2016
-// Update Count     : 286
+// Last Modified By : Rob Schluntz
+// Last Modified On : Tue Feb 09 14:39:52 2016
+// Update Count     : 295
 //
 
@@ -372,4 +372,5 @@
 
 		Expression *Pass1::makeOffsetArray( StructInstType *ty ) {
+			std::list<Expression*> noDesignators;
 			std::list< Declaration* > &baseMembers = ty->get_baseStruct()->get_members();
 
@@ -390,7 +391,7 @@
 					memberDecl = new ObjectDecl( (*member)->get_name(), DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, offsetType->clone(), 0 );
 				}
-				inits.push_back( new SingleInit( new OffsetofExpr( ty->clone(), memberDecl ) ) );
+				inits.push_back( new SingleInit( new OffsetofExpr( ty->clone(), memberDecl ), noDesignators ) );
 			}
-			arrayTemp->set_init( new ListInit( inits ) );
+			arrayTemp->set_init( new ListInit( inits, noDesignators ) );
 
 			// return variable pointing to temporary
@@ -1282,5 +1283,5 @@
 
 					std::list<Expression*> designators;
-					objectDecl->set_init( new SingleInit( alloc, designators ) );
+					objectDecl->set_init( new SingleInit( alloc, designators, false ) ); // not constructed
 				}
 			}
@@ -1322,5 +1323,5 @@
 			return derefdVar;
 		}
-		
+
 		Expression *MemberExprFixer::mutate( MemberExpr *memberExpr ) {
 			// mutate, exiting early if no longer MemberExpr
Index: src/GenPoly/Specialize.cc
===================================================================
--- src/GenPoly/Specialize.cc	(revision bd8540001c298d12d68dabcd274a24ed5a4dfb7a)
+++ src/GenPoly/Specialize.cc	(revision d63eeb0d6eeb995b4c8c414f1d4989b0189ef8ca)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jan 20 12:40:33 2016
-// Update Count     : 18
+// Last Modified On : Wed Jan 20 13:00:00 2016
+// Update Count     : 24
 //
 
@@ -142,5 +142,5 @@
 
 	Expression * Specialize::doSpecialization( Type *formalType, Expression *actual, InferredParams *inferParams ) {
-		assert( ! actual->get_results().empty() );
+		assert( ! actual->get_results().empty() ); // using front, should have this assert
 		if ( needsSpecialization( formalType, actual->get_results().front(), env ) ) {
 			FunctionType *funType;