diff options
author | Tim King <taking@cs.nyu.edu> | 2010-04-28 14:52:22 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-04-28 14:52:22 +0000 |
commit | 7a8454030fdbb1e6c2a6db7ce18eafe0764eaf4a (patch) | |
tree | 1c2044783b304516f67a1355bf16b0af7ec42a06 /test | |
parent | 0c4a6edae95b3ffc76cb82604a3d1694d42625bb (diff) |
Added theory/arith/kind and enabled the smt parser to read in these symbols. Also a bug fix to a couple of unit tests.
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/expr/node_manager_white.h | 2 | ||||
-rw-r--r-- | test/unit/expr/node_white.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/expr/node_manager_white.h b/test/unit/expr/node_manager_white.h index a43e32908..af38c790b 100644 --- a/test/unit/expr/node_manager_white.h +++ b/test/unit/expr/node_manager_white.h @@ -36,7 +36,7 @@ class NodeManagerWhite : public CxxTest::TestSuite { public: void setUp() { - d_ctxt = new Context; + d_ctxt = new Context(); d_nm = new NodeManager(d_ctxt); d_scope = new NodeManagerScope(d_nm); } diff --git a/test/unit/expr/node_white.h b/test/unit/expr/node_white.h index 9facd00f6..91a352797 100644 --- a/test/unit/expr/node_white.h +++ b/test/unit/expr/node_white.h @@ -39,7 +39,7 @@ class NodeWhite : public CxxTest::TestSuite { public: void setUp() { - d_ctxt = new Context; + d_ctxt = new Context(); d_nm = new NodeManager(d_ctxt); d_scope = new NodeManagerScope(d_nm); } |