diff options
-rw-r--r-- | src/theory/theory_engine.h | 6 |
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]; } |