diff options
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 587d3693c..e88d3323a 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -797,6 +797,7 @@ public: * @returns the theory */ inline theory::Theory* theoryOf(theory::TheoryId theoryId) const { + Assert(theoryId < theory::THEORY_LAST); return d_theoryTable[theoryId]; } |