mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-21 11:52:05 +00:00
Code Activity

fix crash

Browse source
This commit is contained in:
Nuno Lopes 2020-07-13 14:25:12 +01:00
parent 122f5a1464
commit d1a0e83423
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/stacked_value.h
View file

@ -59,6 +59,10 @@ public:
m_value = std::move(m); m_value = std::move(m);
} }
void operator=(T &&arg) {
m_value = std::move(arg);
}
operator T&() { operator T&() {
return m_value; return m_value;
} }