From 8de997434f5002728840123dab3aa3e899d1d3f2 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 11 Jan 2018 15:36:34 +0100 Subject: Added newline at the end of usage of coqdep. --- tools/coqdep.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/coqdep.ml') diff --git a/tools/coqdep.ml b/tools/coqdep.ml index fd4be08b1..2433cb1d0 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -455,7 +455,7 @@ let usage () = eprintf " -coqlib dir : set the coq standard library directory\n"; eprintf " -suffix s : \n"; eprintf " -slash : deprecated, no effect\n"; - eprintf " -dyndep (opt|byte|both|no|var) : set how dependencies over ML modules are printed"; + eprintf " -dyndep (opt|byte|both|no|var) : set how dependencies over ML modules are printed\n"; exit 1 let split_period = Str.split (Str.regexp (Str.quote ".")) -- cgit v1.2.3