diff options
Diffstat (limited to 'src/options/main_options.toml')
| -rw-r--r-- | src/options/main_options.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/options/main_options.toml b/src/options/main_options.toml index 974bdd155..0e3f63072 100644 --- a/src/options/main_options.toml +++ b/src/options/main_options.toml @@ -6,6 +6,7 @@ name = "Driver" short = "V" long = "version" type = "void" + handler = "showVersion" help = "identify this cvc5 binary" [[option]] |