From 2dee12d9381ed82f81a63cf50f4d3f8f4eb5415c Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 16 Jun 2016 07:22:00 -0400
Subject: Fix a printing typo

Introduced by b21fefc0ec0aab2560d0b654f1a1f4203898388b---
 ltac/profile_ltac.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ltac/profile_ltac.ml b/ltac/profile_ltac.ml
index 7a8ef32c3f..422f916936 100644
--- a/ltac/profile_ltac.ml
+++ b/ltac/profile_ltac.ml
@@ -219,7 +219,8 @@ let rec list_iter_is_last f = function
 let header =
   str " tactic                                    self  total   calls       max" ++
   fnl () ++
-  str "────────────────────────────────────────┴──────┴──────┴───────┴─────────┘"
+  str "────────────────────────────────────────┴──────┴──────┴───────┴─────────┘" ++
+  fnl ()
 
 let rec print_node all_total indent prefix (s, n) =
   let e = n.entry in
-- 
cgit v1.2.3


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