mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

fix crash introduced in my previous commit

Browse source
This commit is contained in:
Nuno Lopes 2017-08-14 22:22:48 +01:00
parent dc4dbdf51e
commit 197aefd111
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/ast.cpp
View file

@ -57,7 +57,7 @@ parameter& parameter::operator=(parameter const& other) {
case PARAM_INT: m_int = other.get_int(); break;
case PARAM_AST: m_ast = other.get_ast(); break;
case PARAM_SYMBOL: m_symbol = other.get_symbol(); break;
case PARAM_RATIONAL: m_rational = other.get_rational(); break;
case PARAM_RATIONAL: new (&m_rational) rational(other.get_rational()); break;
case PARAM_DOUBLE: m_dval = other.m_dval; break;
case PARAM_EXTERNAL: m_ext_id = other.m_ext_id; break;
default: