Index: src/CodeGen/FixMain.cc
===================================================================
--- src/CodeGen/FixMain.cc	(revision d8e2a09543f35ee50941fc5ef2b7d98498ebe3b7)
+++ src/CodeGen/FixMain.cc	(revision a08443b2bbaa3730bbe9d101e97683f4f130e925)
@@ -91,5 +91,5 @@
 }
 
-ObjectDecl * charStarObj() {
+ObjectDecl * makeArgvObj() {
 	return new ObjectDecl(
 		"", Type::StorageClasses(), LinkageSpec::Cforall, 0,
@@ -117,5 +117,5 @@
 	main_type->get_returnVals().push_back( signedIntObj() );
 	main_type->get_parameters().push_back( signedIntObj() );
-	main_type->get_parameters().push_back( charStarObj() );
+	main_type->get_parameters().push_back( makeArgvObj() );
 	return create_mangled_main_function_name( main_type );
 }