diff options
Diffstat (limited to 'checklink/Validator.ml')
-rw-r--r-- | checklink/Validator.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checklink/Validator.ml b/checklink/Validator.ml index 4baa5d67..baf06fca 100644 --- a/checklink/Validator.ml +++ b/checklink/Validator.ml @@ -33,7 +33,7 @@ let options = [ "-exe", Arg.String set_elf_file, "<filename> Specify the ELF executable file to analyze"; "-conf", Arg.String set_conf_file, - "<filename> Specify a configuration file (see README)"; + "<filename> Specify a configuration file"; (* Parsing behavior *) "-relaxed", Arg.Set ELF_parsers.relaxed, "Allows the following behaviors in the ELF parser: |