diff options
Diffstat (limited to 'src/options/options_public_template.cpp')
-rw-r--r-- | src/options/options_public_template.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/options_public_template.cpp b/src/options/options_public_template.cpp index 4bd5239f6..df61249af 100644 --- a/src/options/options_public_template.cpp +++ b/src/options/options_public_template.cpp @@ -235,7 +235,7 @@ namespace cvc5::options OptionInfo getInfo(const Options& opts, const std::string& name) { // clang-format off - ${options_get_info}$ + ${getinfo_impl}$ // clang-format on return OptionInfo{"", {}, false, OptionInfo::VoidInfo{}}; } |