Index: src/CodeGen/CodeGenerator.cc
===================================================================
--- src/CodeGen/CodeGenerator.cc	(revision 3cbe3208a46cac04121664ab55595e2679b6dcb3)
+++ src/CodeGen/CodeGenerator.cc	(revision d3652dff49964cd0e31a788e5a2cfb4c84d10393)
@@ -1157,9 +1157,9 @@
 
 	void CodeGenerator::postvisit( WithStmt * with ) {
-		if ( ! options.genC ) {
-			output << "with ( ";
-			genCommaList( with->exprs.begin(), with->exprs.end() );
-			output << " ) ";
-		}
+		assertf( ! options.genC, "WithStmts should not reach code generation." );
+
+		output << "with ( ";
+		genCommaList( with->exprs.begin(), with->exprs.end() );
+		output << " ) ";
 		with->stmt->accept( *visitor );
 	}