Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 5aa708c3165543c9456b65296353e2f1389e239f)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision ae4c85a0274ee43a9f1e10b436adffdb989d7643)
@@ -697,6 +697,4 @@
 			std::list< Type* >::iterator candidate_end = (*i).expr->get_results().begin();
 			std::advance( candidate_end, castExpr->get_results().size() );
-			if ( ! unifyList( (*i).expr->get_results().begin(), candidate_end,
-							 castExpr->get_results().begin(), castExpr->get_results().end(), i->env, needAssertions, haveAssertions, openVars, indexer ) ) continue;
 			Cost thisCost = castCostList( (*i).expr->get_results().begin(), candidate_end,
 										  castExpr->get_results().begin(), castExpr->get_results().end(), indexer, i->env );
Index: src/ResolvExpr/Resolver.cc
===================================================================
--- src/ResolvExpr/Resolver.cc	(revision 5aa708c3165543c9456b65296353e2f1389e239f)
+++ src/ResolvExpr/Resolver.cc	(revision ae4c85a0274ee43a9f1e10b436adffdb989d7643)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:17:01 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jul 15 14:54:04 2015
-// Update Count     : 167
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Jul 24 17:33:54 2015
+// Update Count     : 178
 //
 
@@ -41,4 +41,6 @@
 
 		virtual void visit( ExprStmt *exprStmt );
+		virtual void visit( AsmExpr *asmExpr );
+		virtual void visit( AsmStmt *asmStmt );
 		virtual void visit( IfStmt *ifStmt );
 		virtual void visit( WhileStmt *whileStmt );
@@ -209,4 +211,20 @@
 			exprStmt->set_expr( newExpr );
 		} // if
+	}
+
+	void Resolver::visit( AsmExpr *asmExpr ) {
+		Expression *newExpr = findVoidExpression( asmExpr->get_operand(), *this );
+		delete asmExpr->get_operand();
+		asmExpr->set_operand( newExpr );
+		if ( asmExpr->get_inout() ) {
+			newExpr = findVoidExpression( asmExpr->get_inout(), *this );
+			delete asmExpr->get_inout();
+			asmExpr->set_inout( newExpr );
+		} // if
+	}
+
+	void Resolver::visit( AsmStmt *asmStmt ) {
+		acceptAll( asmStmt->get_input(), *this);
+		acceptAll( asmStmt->get_output(), *this);
 	}
 
