diff options
Diffstat (limited to 'src/theory/evaluator.h')
-rw-r--r-- | src/theory/evaluator.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/evaluator.h b/src/theory/evaluator.h index a55bcc86f..cee8a0d21 100644 --- a/src/theory/evaluator.h +++ b/src/theory/evaluator.h @@ -60,7 +60,7 @@ struct EvalResult d_bv = other.d_bv; break; case RATIONAL: - new (&d_bv) Rational; + new (&d_rat) Rational; d_rat = other.d_rat; break; case STRING: @@ -94,7 +94,7 @@ struct EvalResult d_bv = other.d_bv; break; case RATIONAL: - new (&d_bv) Rational; + new (&d_rat) Rational; d_rat = other.d_rat; break; case STRING: |