diff options
| -rw-r--r-- | src/theory/model.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/model.cpp b/src/theory/model.cpp index 452317f5b..957491d37 100644 --- a/src/theory/model.cpp +++ b/src/theory/model.cpp @@ -360,7 +360,7 @@ TheoryEngineModelBuilder::TheoryEngineModelBuilder( TheoryEngine* te ) : d_te( t bool TheoryEngineModelBuilder::isAssignable(TNode n) { - return (n.isVar() || n.getKind() == kind::APPLY_UF || n.getKind() == kind::SELECT); + return (n.isVar() || n.getKind() == kind::APPLY_UF || n.getKind() == kind::SELECT || n.getKind() == kind::APPLY_SELECTOR); } |