diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-11-15 09:35:27 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-15 09:35:27 -0600 |
| commit | 829b3c2798c1f2c0bb313d7eff2c1e76f0184ae2 (patch) | |
| tree | 6855fbf1b5bf7b11958a222f70e9301156931c0b /src/theory/arith/nl/pow2_solver.cpp | |
| parent | 9aeb23f2ae58e4f6dd2b53dbb47cf8c173e56d83 (diff) | |
| parent | 94c4d5b54e7840fa36d76e7c3d52e19c31a1dbc1 (diff) | |
Merge branch 'master' into refactorEagerSolverrefactorEagerSolver
Diffstat (limited to 'src/theory/arith/nl/pow2_solver.cpp')
| -rw-r--r-- | src/theory/arith/nl/pow2_solver.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/arith/nl/pow2_solver.cpp b/src/theory/arith/nl/pow2_solver.cpp index c91284be7..e3a26397e 100644 --- a/src/theory/arith/nl/pow2_solver.cpp +++ b/src/theory/arith/nl/pow2_solver.cpp @@ -42,9 +42,9 @@ Pow2Solver::Pow2Solver(Env& env, NodeManager* nm = NodeManager::currentNM(); d_false = nm->mkConst(false); d_true = nm->mkConst(true); - d_zero = nm->mkConst(Rational(0)); - d_one = nm->mkConst(Rational(1)); - d_two = nm->mkConst(Rational(2)); + d_zero = nm->mkConst(CONST_RATIONAL, Rational(0)); + d_one = nm->mkConst(CONST_RATIONAL, Rational(1)); + d_two = nm->mkConst(CONST_RATIONAL, Rational(2)); } Pow2Solver::~Pow2Solver() {} |