From e22118f5fe37a5129bf874fd7f49007d8b35b0f0 Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 12 Jul 2012 12:06:20 +0000
Subject: checklink: minor fixes

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1971 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 checklink/Validator.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checklink/Validator.ml')

diff --git a/checklink/Validator.ml b/checklink/Validator.ml
index 4baa5d6..baf06fc 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:
-- 
cgit v1.2.3