diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-02 12:39:23 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-02 12:39:23 +0000 |
commit | 90267f8729799f44c6fb33ace11b971a16e78dff (patch) | |
tree | 94a3bacbc8bba83e8002149232fb9804d2727ec1 /src/theory/theory_engine.cpp | |
parent | 1ea434616c48b92189e77b37b3e82dbbee0e0ccc (diff) |
* Changing pre-registration to be context dependent -- it is called from the SAT solver on every backtrack
* Updated UF to handle the context dependent pre-registration
* Additionally some small changes in order to satisfy warnings of the eclipse code analysis tool
Diffstat (limited to 'src/theory/theory_engine.cpp')
-rw-r--r-- | src/theory/theory_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index 7447726b4..e604c45df 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -50,7 +50,7 @@ TheoryEngine::TheoryEngine(context::Context* ctxt) : d_hasShutDown(false), d_incomplete(ctxt, false), d_statistics(), - d_preRegistrationVisitor(*this) { + d_preRegistrationVisitor(*this, ctxt) { for(unsigned theoryId = 0; theoryId < theory::THEORY_LAST; ++theoryId) { d_theoryTable[theoryId] = NULL; |