diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2018-06-14 12:19:06 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2018-06-14 12:19:06 -0500 |
| commit | 7b199447b2e7ee012e3b54c9e45be0e12da31c47 (patch) | |
| tree | 2b5afa618d2fc77ba2d4492c1260966d32c32920 | |
| parent | 143248a33222844a39928c2b5dccee251c651201 (diff) | |
Fixes
| -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: |