diff options
| -rw-r--r-- | tools/coqdep.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |