From 634b155b5716a72716836193466aac9df5ad649d Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Fri, 26 Oct 2012 19:54:06 +0000
Subject: [PATCH] Fixed a failing datatype regression with check-models

---
 src/theory/model.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
 }
 
 
-- 
2.30.2