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