diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-08-05 23:24:42 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-08-05 23:24:42 +0100 |
commit | 70135322f15ff7621b019fc64b095b2977587e15 (patch) | |
tree | d0f5ad277411574658103c78beb6b319fce1896d /driver | |
parent | d43f57ea8df27684bd2ad094998655066fdba99c (diff) | |
download | vericert-70135322f15ff7621b019fc64b095b2977587e15.tar.gz vericert-70135322f15ff7621b019fc64b095b2977587e15.zip |
Update and fix the transformation
Diffstat (limited to 'driver')
-rw-r--r-- | driver/VericertDriver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/VericertDriver.ml b/driver/VericertDriver.ml index f2e0fc3..85a4372 100644 --- a/driver/VericertDriver.ml +++ b/driver/VericertDriver.ml @@ -202,7 +202,7 @@ let toolchain_help = let usage_string = version_string tool_name ^ - {|Usage: ccomp [options] <source files> + {|Usage: vericert [options] <source files> Recognized source files: .c C source file .i or .p C source file that should not be preprocessed |