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