diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-20 11:58:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-20 18:58:46 +0000 |
commit | 92fa57d6ec03ea19cf5ef177905ee59f29231e8f (patch) | |
tree | 704f9ef88ac86122358dac4b95300146d03fb35a /src/theory/theory_traits_template.h | |
parent | 1d5a6e4a0773064ca0f1465b5e94a301af4eee2e (diff) |
Add guards to disable clang-format around placeholders in templates. (#6375)
Diffstat (limited to 'src/theory/theory_traits_template.h')
-rw-r--r-- | src/theory/theory_traits_template.h | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/src/theory/theory_traits_template.h b/src/theory/theory_traits_template.h index 75a922096..fa6552be1 100644 --- a/src/theory/theory_traits_template.h +++ b/src/theory/theory_traits_template.h @@ -25,7 +25,9 @@ #include "options/theory_options.h" #include "theory/theory.h" +// clang-format off ${theory_includes} +// clang-format on namespace cvc5 { namespace theory { @@ -33,15 +35,21 @@ namespace theory { template <TheoryId theoryId> struct TheoryTraits; +// clang-format off ${theory_traits} - -struct TheoryConstructor { - static void addTheory(TheoryEngine* engine, TheoryId id) { - switch(id) { - +// clang-format on + +struct TheoryConstructor +{ + static void addTheory(TheoryEngine* engine, TheoryId id) + { + switch (id) + { + // clang-format off ${theory_constructors} + // clang-format on -default: Unhandled() << id; + default: Unhandled() << id; } } }; /* struct cvc5::theory::TheoryConstructor */ |