From 8934da82d30fee8205fe1694ed601817ff858e5c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 28 Mar 2014 13:32:11 +0100
Subject: Newline on -slash warning in coqdep.

---
 tools/coqdep.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 17e56bc63b..ea5eb02c12 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -463,7 +463,7 @@ let rec parse = function
   | "-suffix" :: s :: ll -> suffixe := s ; parse ll
   | "-suffix" :: [] -> usage ()
   | "-slash" :: ll ->
-    Printf.eprintf "warning: option -slash has no effect and is deprecated.";
+    Printf.eprintf "warning: option -slash has no effect and is deprecated.\n";
     parse ll
   | ("-h"|"--help"|"-help") :: _ -> usage ()
   | f :: ll -> treat_file None f; parse ll
-- 
cgit v1.2.3