diff options
Diffstat (limited to 'src/theory/model.cpp')
| -rw-r--r-- | src/theory/model.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/model.cpp b/src/theory/model.cpp index 66f0c8824..9a420ed02 100644 --- a/src/theory/model.cpp +++ b/src/theory/model.cpp @@ -76,8 +76,11 @@ Cardinality TheoryModel::getCardinality( Type t ) const{ } Node TheoryModel::getModelValue( TNode n ) const{ - Assert(n.getKind() != kind::FORALL && n.getKind() != kind::EXISTS && n.getKind() != kind::LAMBDA); - if( n.isConst() ) { + Assert(n.getKind() != kind::FORALL && n.getKind() != kind::EXISTS); + if(n.isConst()) { + return n; + } + if(n.getKind() == kind::LAMBDA) { return n; } |