diff options
author | Tim King <taking@cs.nyu.edu> | 2012-05-15 19:01:19 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-05-15 19:01:19 +0000 |
commit | 488ae3f42d9d3e06978e11a42d1d47e76072f797 (patch) | |
tree | f466859889ceee9947e20d695fd35f99065277f8 /test/unit/expr/node_white.h | |
parent | fe2088f892af594765fc50d8cc9f2b4f87286b7c (diff) |
This commit removes the CONST_INTEGER kind from nodes. This code comes from the branch arithmetic/remove_const_int.
Diffstat (limited to 'test/unit/expr/node_white.h')
-rw-r--r-- | test/unit/expr/node_white.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/expr/node_white.h b/test/unit/expr/node_white.h index ce67004c6..a042b1752 100644 --- a/test/unit/expr/node_white.h +++ b/test/unit/expr/node_white.h @@ -73,7 +73,7 @@ public: Node x = d_nm->mkVar("x", d_nm->integerType()); Node y = d_nm->mkVar("y", d_nm->integerType()); Node x_plus_y = d_nm->mkNode(PLUS, x, y); - Node two = d_nm->mkConst(Integer(2)); + Node two = d_nm->mkConst(Rational(2)); Node x_times_2 = d_nm->mkNode(MULT, x, two); Node n = d_nm->mkNode(PLUS, x_times_2, x_plus_y, y); |