diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-17 17:21:26 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-18 16:39:42 -0400 |
| commit | 066191d91d9f42f34a412162203be818e202aeba (patch) | |
| tree | 10638c91da6e626c90e1a70e85b211852cbca4b5 /src/theory/theory.cpp | |
| parent | bd9b95170b21ad066e87a59db78fac8ab7f24629 (diff) | |
Fixes to theoryof-mode; no longer static in Theory class.
Diffstat (limited to 'src/theory/theory.cpp')
| -rw-r--r-- | src/theory/theory.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 3e30645e8..a1a835170 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -28,9 +28,6 @@ namespace theory { /** Default value for the uninterpreted sorts is the UF theory */ TheoryId Theory::s_uninterpretedSortOwner = THEORY_UF; -/** By default, we use the type based theoryOf */ -TheoryOfMode Theory::s_theoryOfMode = THEORY_OF_TYPE_BASED; - std::ostream& operator<<(std::ostream& os, Theory::Effort level){ switch(level){ case Theory::EFFORT_STANDARD: |