diff options
Diffstat (limited to 'src/theory/theory_state.cpp')
-rw-r--r-- | src/theory/theory_state.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/theory_state.cpp b/src/theory/theory_state.cpp index f22a652c0..d5f9f4d0b 100644 --- a/src/theory/theory_state.cpp +++ b/src/theory/theory_state.cpp @@ -130,5 +130,7 @@ bool TheoryState::isSatLiteral(TNode lit) const return d_valuation.isSatLiteral(lit); } +TheoryModel* TheoryState::getModel() { return d_valuation.getModel(); } + } // namespace theory } // namespace CVC4 |