Index: src/CodeGen/FixMain.cc
===================================================================
--- src/CodeGen/FixMain.cc	(revision 5bb1ac108d66b3bbf5b72ee26e4034dc1e0a9a18)
+++ src/CodeGen/FixMain.cc	(revision d8c4fab272f2ae72b12e1733b551d14ecc326194)
@@ -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 );
 }