diff options
Diffstat (limited to 'src/theory/bags/bags_rewriter.cpp')
| -rw-r--r-- | src/theory/bags/bags_rewriter.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bags/bags_rewriter.cpp b/src/theory/bags/bags_rewriter.cpp index 766731806..a5fb206aa 100644 --- a/src/theory/bags/bags_rewriter.cpp +++ b/src/theory/bags/bags_rewriter.cpp @@ -45,8 +45,8 @@ BagsRewriter::BagsRewriter(HistogramStat<Rewrite>* statistics) : d_statistics(statistics) { d_nm = NodeManager::currentNM(); - d_zero = d_nm->mkConst(CONST_RATIONAL, Rational(0)); - d_one = d_nm->mkConst(CONST_RATIONAL, Rational(1)); + d_zero = d_nm->mkConstInt(Rational(0)); + d_one = d_nm->mkConstInt(Rational(1)); } RewriteResponse BagsRewriter::postRewrite(TNode n) |