Reverting mistaken check-in

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 82e19429224d87e9bf3e1afaae80ea5c41e722ab..59d26ff05ad51b27dbfa3743e9893f32eaa7a73b 100644 (file)
--- 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());
     }
   }