diff options
author | Tim King <taking@cs.nyu.edu> | 2010-03-11 18:23:31 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-03-11 18:23:31 +0000 |
commit | 7cc72123f6b422a53c8840ca034cfdb353be59bf (patch) | |
tree | c37856ffb16ae071b1ee09416381fc86dc0acb9a /src/theory | |
parent | c7ccddcad95d7b6534a83a873c522b115530a553 (diff) |
Added some hand generated UF tests. Unfortunartely all of them work. Also fixed some cleanup stuff.
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/theoryof_table_middle.h | 3 | ||||
-rw-r--r-- | src/theory/uf/theory_uf.h | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/theory/theoryof_table_middle.h b/src/theory/theoryof_table_middle.h index f3ad433a3..a0586d0ce 100644 --- a/src/theory/theoryof_table_middle.h +++ b/src/theory/theoryof_table_middle.h @@ -28,6 +28,9 @@ public: TheoryOfTable() : d_table(new Theory*[::CVC4::kind::LAST_KIND]) { } + ~TheoryOfTable(){ + delete[] d_table; + } Theory* operator[](TNode n) { Assert(n.getKind() >= 0 && n.getKind() < ::CVC4::kind::LAST_KIND, diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h index 3753bd78a..128e28ca2 100644 --- a/src/theory/uf/theory_uf.h +++ b/src/theory/uf/theory_uf.h @@ -194,7 +194,7 @@ struct EquivClass; /** * ECAttr is the attribute that maps a node to an equivalence class. */ -typedef expr::Attribute<EquivClass, ECData* /*, ECCleanupFcn*/> ECAttr; +typedef expr::Attribute<EquivClass, ECData*, ECCleanupFcn > ECAttr; } /* CVC4::theory::uf namespace */ } /* CVC4::theory namespace */ |