From 5c7402f68fb31d70f78243c4d6d9c30a8e8aa9da Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Wed, 17 Oct 2018 17:42:51 +0300 Subject: Distinguish print $0 from print. Doc updates. Fix case and default. --- profile.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'profile.c') diff --git a/profile.c b/profile.c index 3a4ec04d..7e603dc2 100644 --- a/profile.c +++ b/profile.c @@ -957,7 +957,8 @@ cleanup: fprintf(prof_fp, "\n"); print_comment(pc->comment, indent_level); } - } + } else + fprintf(prof_fp, "\n"); pprint(pc->stmt_start->nexti, pc->stmt_end->nexti, NO_PPRINT_FLAGS); indent_out(); break; -- cgit v1.2.3