mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 08:35:31 +00:00
Code Activity

remove comment

Browse source
This commit is contained in:
Jakob Rath 2022-08-01 12:00:06 +02:00
parent 220a63e8bd
commit 22a5e7c5b7
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/scoped_numeral.h
View file

@ -62,12 +62,10 @@ public:
void swap(_scoped_numeral & n) {
m().swap(m_num, n.m_num);
// m_num.swap(n.m_num);
}
void swap(numeral & n) {
m().swap(m_num, n);
// m_num.swap(n);
}
_scoped_numeral & operator+=(numeral const & a) {