diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-02-16 13:26:10 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-02-16 13:26:10 -0600 |
| commit | 3a0e9d8d9a1288187db69b103dfd18ad64358f18 (patch) | |
| tree | 80efb64a7fcbdcde4e5097a9ee4d72d34b4d0ee9 /src/theory/quantifiers_engine.cpp | |
| parent | 4604e6119a0a5e968e47cf23ce93b09c17a726b8 (diff) | |
Fixes for sets+rels check. Minor.
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
| -rw-r--r-- | src/theory/quantifiers_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index 2d79826a6..573c97f00 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -724,6 +724,7 @@ bool QuantifiersEngine::registerQuantifier( Node f ){ //if( options::finiteModelFind() ){ // ((uf::TheoryUF*)d_te->theoryOf( THEORY_UF ))->getStrongSolver()->registerQuantifier( f ); //} + Trace("quant-debug") << "...finish." << std::endl; d_quants[f] = true; return true; } |