Index: src/CodeGen/CodeGeneratorNew.cpp
===================================================================
--- src/CodeGen/CodeGeneratorNew.cpp	(revision 0bd3faf870391e5ed803287ec0b3c696cfde22b2)
+++ src/CodeGen/CodeGeneratorNew.cpp	(revision 3c4003b97c9ee9f1f9a353616422f55ea0456227)
@@ -171,6 +171,6 @@
 	// Add the forall clause.
 	// TODO: These probably should be removed by now and the assert used.
-	if ( !decl->type_params.empty() && !options.genC ) {
-		//assertf( !options.genC, "FunctionDecl::forall should not reach code generation." );
+	if ( !decl->type_params.empty() ) {
+		assertf( !options.genC, "FunctionDecl forall should not reach code generation." );
 		acc << "forall(";
 		subCG.core.genCommaList( decl->type_params );