From 587520ce888b88294fb9e4ca476e2425d8bf026e Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Sun, 10 Jul 2011 19:41:04 +0000
Subject: [PATCH] Reverting mistaken check-in

---
 src/theory/theory.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 82e194292..59d26ff05 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -187,9 +187,7 @@ public:
     if (typeNode.getKind() == kind::TYPE_CONSTANT) {
       return typeConstantToTheoryId(typeNode.getConst<TypeConstant>());
     } else {
-      TheoryId id = kindToTheoryId(typeNode.getKind());
-      if (id == theory::THEORY_UF) id = theory::THEORY_ARRAY;
-      return id;
+      return kindToTheoryId(typeNode.getKind());
     }
   }
 
-- 
2.30.2