diff options
Diffstat (limited to 'src/theory/strings/theory_strings.cpp')
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index da8c3583d..609822fe1 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -640,7 +640,8 @@ void TheoryStrings::preRegisterTerm(TNode n) { } } -Node TheoryStrings::expandDefinition(LogicRequest &logicRequest, Node node) { +Node TheoryStrings::expandDefinition(Node node) +{ Trace("strings-exp-def") << "TheoryStrings::expandDefinition : " << node << std::endl; if (node.getKind() == STRING_FROM_CODE) |