diff options
Diffstat (limited to 'src/theory/theory.cpp')
| -rw-r--r-- | src/theory/theory.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index ff2feb121..fa2eed861 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -27,7 +27,7 @@ namespace CVC4 { namespace theory { /** Default value for the uninterpreted sorts is the UF theory */ -TheoryId Theory::d_uninterpretedSortOwner = THEORY_UF; +TheoryId Theory::s_uninterpretedSortOwner = THEORY_UF; std::ostream& operator<<(std::ostream& os, Theory::Effort level){ switch(level){ |