Make a few functions in TheoryEngine (like theoryOf()) const.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index de04c878c..609b5195e 100644
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -668,7 +668,7 @@ public:
    * @returns the theory, or NULL if the TNode is
    * of built-in type.
    */
-  inline theory::Theory* theoryOf(TNode node) {
+  inline theory::Theory* theoryOf(TNode node) const {
     return d_theoryTable[theory::Theory::theoryOf(node)];
   }
 
@@ -680,12 +680,12 @@ public:
    * @returns the theory, or NULL if the TNode is
    * of built-in type.
    */
-  inline theory::Theory* theoryOf(theory::TheoryId theoryId) {
+  inline theory::Theory* theoryOf(theory::TheoryId theoryId) const {
     return d_theoryTable[theoryId];
   }
 
   /** Get the theory for id */
-  theory::Theory* getTheory(theory::TheoryId theoryId) {
+  theory::Theory* getTheory(theory::TheoryId theoryId) const {
     return d_theoryTable[theoryId];
   }