diff options
Diffstat (limited to 'src/theory/uf/theory_uf.h')
| -rw-r--r-- | src/theory/uf/theory_uf.h | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h index 4fc835223..34b6719d7 100644 --- a/src/theory/uf/theory_uf.h +++ b/src/theory/uf/theory_uf.h @@ -33,15 +33,10 @@ class TheoryUF : public TheoryImpl<TheoryUF> { private: - + //TODO document + context::CDList<Node> d_assertions; /** - * The associated context. Needed for allocating context dependent objects - * and objects in context dependent memory. - */ - context::Context* d_context; - - /** * List of pending equivalence class merges. * * Tricky part: |