diff options
Diffstat (limited to 'src/theory/theory_traits_template.h')
| -rw-r--r-- | src/theory/theory_traits_template.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/theory_traits_template.h b/src/theory/theory_traits_template.h index b0951db70..e30507cf8 100644 --- a/src/theory/theory_traits_template.h +++ b/src/theory/theory_traits_template.h @@ -26,7 +26,7 @@ ${theory_includes} -namespace CVC4 { +namespace CVC5 { namespace theory { template <TheoryId theoryId> @@ -43,7 +43,7 @@ ${theory_constructors} default: Unhandled() << id; } } -};/* struct CVC4::theory::TheoryConstructor */ +}; /* struct CVC5::theory::TheoryConstructor */ -}/* CVC4::theory namespace */ -}/* CVC4 namespace */ +} // namespace theory +} // namespace CVC5 |