diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-05-12 14:15:40 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-05-12 14:15:58 -0500 |
| commit | 3013db0a0cf330ebd8d09a4d9c0b4d5dd3312068 (patch) | |
| tree | f6db2044d637a74a801f15cbfe3fddd6bb4f9dbc /src/theory/quantifiers_engine.cpp | |
| parent | 2550b6de915e6937ca145dae68ee04fc58680bce (diff) | |
Minor updates/fix to --cbqi-recurse
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
| -rw-r--r-- | src/theory/quantifiers_engine.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index a16f46ace..53163cd5f 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -266,7 +266,6 @@ void QuantifiersEngine::registerPattern( std::vector<Node> & pattern) { } void QuantifiersEngine::assertNode( Node f ){ - Assert( f.getKind()==FORALL ); d_model->assertQuantifier( f ); for( int i=0; i<(int)d_modules.size(); i++ ){ d_modules[i]->assertNode( f ); |