From 08491de0566dbd8cfe7a9cd4ca129a5a05caf196 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 1 Jun 2020 11:08:01 +0200 Subject: clightgen: fix usage message Closes: #358 --- exportclight/Clightgen.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'exportclight') diff --git a/exportclight/Clightgen.ml b/exportclight/Clightgen.ml index 637454f0..5e27370e 100644 --- a/exportclight/Clightgen.ml +++ b/exportclight/Clightgen.ml @@ -91,7 +91,7 @@ let process_i_file sourcename = compile_c_file sourcename sourcename ofile let usage_string = - version_string tool_name^ + version_string tool_name ^ {|Usage: clightgen [options] Recognized source files: .c C source file @@ -99,7 +99,7 @@ Recognized source files: Processing options: -normalize Normalize the generated Clight code w.r.t. loads in expressions -canonical-idents Use canonical numbers to represent identifiers (default) - -short-idents Use canonical numbers to represent identifiers + -short-idents Use small, non-canonical numbers to represent identifiers -E Preprocess only, send result to standard output -o Generate output in |} ^ -- cgit