Better warning

This commit is contained in:
John Whitington 2014-12-18 18:00:21 +00:00
parent e78d9e2373
commit 7f59c906e1
1 changed files with 1 additions and 1 deletions

View File

@ -1212,7 +1212,7 @@ let setrevision n =
match args.inputs with match args.inputs with
(a, b, c, d, e, _)::more -> (a, b, c, d, e, _)::more ->
args.inputs <- (a, b, c, d, e, Some n) :: more args.inputs <- (a, b, c, d, e, Some n) :: more
| [] -> Printf.eprintf "Warning. -revision ignored" | [] -> Printf.eprintf "Warning. -revision ignored.\n"
let setoutline () = let setoutline () =
args.outline <- true args.outline <- true