diff options
Diffstat (limited to 'src/options/mkoptions.py')
| -rw-r--r-- | src/options/mkoptions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py index 4dc8880b1..9fbcf7158 100644 --- a/src/options/mkoptions.py +++ b/src/options/mkoptions.py @@ -92,7 +92,7 @@ g_getopt_long_start = 256 ### Source code templates -TPL_HOLDER_MACRO_NAME = 'CVC4_OPTIONS__{id}__FOR_OPTION_HOLDER' +TPL_HOLDER_MACRO_NAME = 'CVC5_OPTIONS__{id}__FOR_OPTION_HOLDER' TPL_RUN_HANDLER = \ """template <> options::{name}__option_t::type runHandlerAndPredicates( |