diff options
Diffstat (limited to 'src/theory/theory_engine.h')
-rw-r--r-- | src/theory/theory_engine.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 7e08a29d5..b2f047824 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -136,6 +136,12 @@ class TheoryEngine { theory::Theory* d_bv; /** + * Whether or not theory registration is on. May not be safe to + * turn off with some theories. + */ + bool d_theoryRegistration; + + /** * Debugging flag to ensure that shutdown() is called before the * destructor. */ |