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 a6ab6efde..952b4c7f8 100644 --- a/src/options/options_public_template.cpp +++ b/src/options/options_public_template.cpp @@ -206,7 +206,7 @@ namespace cvc5::options Trace("options") << "set option " << name << " = " << optionarg << std::endl; // clang-format off - ${set_impl}$ + ${set_impl}$ // clang-format on } else |