diff options
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/expand_definitions.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/smt/expand_definitions.cpp b/src/smt/expand_definitions.cpp index c5080db81..d331e8e78 100644 --- a/src/smt/expand_definitions.cpp +++ b/src/smt/expand_definitions.cpp @@ -255,9 +255,10 @@ TrustNode ExpandDefs::expandDefinitions( // do not do any theory stuff if expandOnly is true theory::Theory* t = d_smt.getTheoryEngine()->theoryOf(node); + theory::TheoryRewriter* tr = t->getTheoryRewriter(); Assert(t != NULL); - TrustNode trn = t->expandDefinition(n); + TrustNode trn = tr->expandDefinition(n); if (!trn.isNull()) { node = trn.getNode(); |