diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqdoc/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml index 8a129e7f70..820ad8240d 100644 --- a/tools/coqdoc/main.ml +++ b/tools/coqdoc/main.ml @@ -415,6 +415,6 @@ let produce_output fl = let main () = let files = parse () in if not !quiet then banner (); - if List.length files > 0 then produce_output files + if files <> [] then produce_output files let _ = Printexc.catch main () |