diff options
Diffstat (limited to 'src/theory/arith/arith_msum.h')
| -rw-r--r-- | src/theory/arith/arith_msum.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/arith/arith_msum.h b/src/theory/arith/arith_msum.h index f7470d4e0..f4a2bf824 100644 --- a/src/theory/arith/arith_msum.h +++ b/src/theory/arith/arith_msum.h @@ -21,7 +21,7 @@ #include "expr/node.h" -namespace CVC4 { +namespace CVC5 { namespace theory { /** Arithmetic utilities regarding monomial sums. @@ -182,7 +182,7 @@ class ArithMSum static void debugPrintMonomialSum(std::map<Node, Node>& msum, const char* c); }; -} /* CVC4::theory namespace */ -} /* CVC4 namespace */ +} // namespace theory +} // namespace CVC5 #endif /* CVC4__THEORY__ARITH__MSUM_H */ |