diff options
Diffstat (limited to 'src/theory/strings/theory_strings.h')
| -rw-r--r-- | src/theory/strings/theory_strings.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index fb6df80c7..01111880d 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -94,8 +94,6 @@ class TheoryStrings : public Theory { void shutdown() override {} /** preregister term */ void preRegisterTerm(TNode n) override; - /** Expand definition */ - TrustNode expandDefinition(Node n) override; //--------------------------------- standard check /** Do we need a check call at last call effort? */ bool needsCheckLastEffort() override; |