diff options
Diffstat (limited to 'driver/VericertDriver.ml')
| -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 |