From 00f82e4411ebbab16fcab99e6c563852a87507a3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 17 Dec 2014 18:35:03 +0100
Subject: Fixing bug #3796.

---
 tactics/autorewrite.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tactics/autorewrite.ml b/tactics/autorewrite.ml
index 2be8020a73..d9a2da0e90 100644
--- a/tactics/autorewrite.ml
+++ b/tactics/autorewrite.ml
@@ -77,8 +77,8 @@ let find_matches bas pat =
   List.map snd res
 
 let print_rewrite_hintdb bas =
-  (str "Database " ++ str bas ++ (Pp.cut ()) ++
-	   prlist_with_sep Pp.cut
+  (str "Database " ++ str bas ++ fnl () ++
+	   prlist_with_sep fnl
 	   (fun h ->
 	     str (if h.rew_l2r then "rewrite -> " else "rewrite <- ") ++
 	       Printer.pr_lconstr h.rew_lemma ++ str " of type " ++ Printer.pr_lconstr h.rew_type ++
-- 
cgit v1.2.3