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