Index: src/CodeGen/CodeGenerator.cpp
===================================================================
--- src/CodeGen/CodeGenerator.cpp	(revision 03b1815c4d799257dc3569dca1abbfd8b1a9a6a9)
+++ src/CodeGen/CodeGenerator.cpp	(revision a1fbad03570c1d89928bcf9962192664b479ae9b)
@@ -167,5 +167,4 @@
 	ast::Pass<CodeGenerator> subCG( acc, subOptions );
 	// Add the forall clause.
-	// TODO: These probably should be removed by now and the assert used.
 	if ( !decl->type_params.empty() ) {
 		assertf( !options.genC, "FunctionDecl forall should not reach code generation." );
@@ -174,4 +173,7 @@
 		acc << ")" << std::endl;
 	}
+	// The forall clause should be printed early as part of the preamble.
+	output << acc.str();
+	acc.str("");
 
 	acc << mangleName( decl );