diff options
Diffstat (limited to 'src/theory/uf/cardinality_extension.cpp')
-rw-r--r-- | src/theory/uf/cardinality_extension.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/theory/uf/cardinality_extension.cpp b/src/theory/uf/cardinality_extension.cpp index b36c6eb96..eebe14226 100644 --- a/src/theory/uf/cardinality_extension.cpp +++ b/src/theory/uf/cardinality_extension.cpp @@ -28,10 +28,10 @@ #include "theory/uf/theory_uf.h" using namespace std; -using namespace CVC4::kind; -using namespace CVC4::context; +using namespace CVC5::kind; +using namespace CVC5::context; -namespace CVC4 { +namespace CVC5 { namespace theory { namespace uf { @@ -1764,6 +1764,6 @@ CardinalityExtension::Statistics::~Statistics() smtStatisticsRegistry()->unregisterStat(&d_max_model_size); } -}/* CVC4::theory namespace::uf */ -}/* CVC4::theory namespace */ -}/* CVC4 namespace */ +} // namespace uf +} // namespace theory +} // namespace CVC5 |