From: Clark Barrett <barrett@cs.nyu.edu>
Date: Sun, 10 Jul 2011 19:41:04 +0000 (+0000)
Subject: Reverting mistaken check-in
X-Git-Tag: cvc5-1.0.0~8510
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=587520ce888b88294fb9e4ca476e2425d8bf026e;p=cvc5.git

Reverting mistaken check-in
---

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