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/unit/expr/node_manager_white.h | |
| 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/unit/expr/node_manager_white.h')
| -rw-r--r-- | test/unit/expr/node_manager_white.h | 2 |
1 files changed, 1 insertions, 1 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); } |