Removing unused argument to a printf.
authorandy@galois.com <unknown>
Wed, 13 Dec 2006 16:06:51 +0000 (16:06 +0000)
committerandy@galois.com <unknown>
Wed, 13 Dec 2006 16:06:51 +0000 (16:06 +0000)
rts/Hpc.c

index e4323e4..14f9d80 100644 (file)
--- a/rts/Hpc.c
+++ b/rts/Hpc.c
@@ -432,7 +432,7 @@ exitHpc(void) {
   fclose(f);
 
   if (rixFile != NULL) {
-    fprintf(rixFile,"Finished\n",prog_name);
+    fprintf(rixFile,"Finished\n");
     fclose(rixFile);
   }