Merge branch 'feature/docit' of ssh://git.sv.gnu.org/srv/git/gawk into feature/docit

1 files changed, 3 insertions, 0 deletions

diff --git a/profile.c b/profile.c
index f959c228..44e171fc 100644
--- a/profile.c
+++ b/profile.c
@@ -2059,6 +2059,9 @@ pp_namespace(const char *name, INSTRUCTION *comment)
 	// info saved in Op_namespace instructions.
 	current_namespace = name;
 
+	// force newline, could be after a comment
+	fprintf(prof_fp, "\n");
+
 	if (do_profile)
 		indent(SPACEOVER);