max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(util/numeric/mpbq): remove unimplemented move constructor

Browse source 
Apparently g++ started preferring it over the copy constructor in more places
This commit is contained in:
Sebastian Ullrich 2018-04-02 23:29:39 +02:00
parent 17affbd45d
commit 96c932ab21
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/numerics/mpbq.h
View file

@ -30,7 +30,6 @@ class mpbq {
public:
mpbq():m_k(0) {}
mpbq(mpbq const & v):m_num(v.m_num), m_k(v.m_k) {}
mpbq(mpbq && v);
explicit mpbq(mpz const & v):m_num(v), m_k(0) {}
explicit mpbq(mpq const & v) { set(*this, v); }
explicit mpbq(int n):m_num(n), m_k(0) {}