From 57940361863fb121f8b7bf2cb061fc4ab34da9e5 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 16 Jun 2016 07:26:29 -0400
Subject: Fix another missing newline

---
 ltac/profile_ltac.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ltac/profile_ltac.ml b/ltac/profile_ltac.ml
index 422f916936..c651aec98c 100644
--- a/ltac/profile_ltac.ml
+++ b/ltac/profile_ltac.ml
@@ -231,6 +231,7 @@ let rec print_node all_total indent prefix (s, n) =
     ++ padl 8 (string_of_int e.ncalls)
     ++ padl 10 (format_sec (e.max_total))
   ) ++
+  fnl () ++
   print_table all_total indent false n.children
 
 and print_table all_total indent first_level table =
-- 
cgit v1.2.3