1 files changed, 0 insertions, 7 deletions
diff --git a/execute.c b/execute.c
index 80e327e..f1970d3 100644
--- a/execute.c
+++ b/execute.c
@@ -301,10 +301,3 @@ print_command(FILE *fp, char **argv)
 	}
 	fprintf(fp, "\n");
 }
-
-void
-print_executed_command(FILE *fp, char **argv)
-{
-	fprintf(fp, "%s: executing ", MYNAME);
-	print_command(fp, argv);
-}