diff options
Diffstat (limited to 'src/options/parser_options.toml')
| -rw-r--r-- | src/options/parser_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/parser_options.toml b/src/options/parser_options.toml index afec2ce48..1a4b75429 100644 --- a/src/options/parser_options.toml +++ b/src/options/parser_options.toml @@ -45,7 +45,7 @@ header = "options/parser_options.h" # is still permitted to read the input file given on the command-line if any. # creation/use of temp files are still permitted (but the paths aren't given by # the user). Also note this is only safe for the version invoked through the -# main driver, there are ways via the API to get the CVC4 library to open a file +# main driver, there are ways via the API to get the cvc5 library to open a file # for reading or writing and thus leak information from an existing file, or # overwrite an existing file with malicious content. [[option]] |