remove duplicate function TheoryEngine::getTheory(TheoryId). It was a duplicate of TheoryEngine::theoryOf(TheoryId)

1 files changed, 2 insertions, 10 deletions

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index 9dedc3292..75f4d6a37 100644
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -639,22 +639,14 @@ public:
   }
 
   /**
-   * Get the theory associated to a the given theory id. It will also mark the
-   * theory as currently active, we assume that theories are called only through
-   * theoryOf.
+   * Get the theory associated to a the given theory id.
    *
-   * @returns the theory, or NULL if the TNode is
-   * of built-in type.
+   * @returns the theory
    */
   inline theory::Theory* theoryOf(theory::TheoryId theoryId) const {
     return d_theoryTable[theoryId];
   }
 
-  /** Get the theory for id */
-  theory::Theory* getTheory(theory::TheoryId theoryId) const {
-    return d_theoryTable[theoryId];
-  }
-
   /**
    * Returns the equality status of the two terms, from the theory
    * that owns the domain type.  The types of a and b must be the same.