diff options
Diffstat (limited to 'src/theory/theory.h')
| -rw-r--r-- | src/theory/theory.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h index f38cda90a..2f7ce6999 100644 --- a/src/theory/theory.h +++ b/src/theory/theory.h @@ -553,11 +553,6 @@ public: virtual Node ppRewrite(TNode atom) { return atom; } /** - * Don't preprocess subterm of this term - */ - virtual bool ppDontRewriteSubterm(TNode atom) { return false; } - - /** * Notify preprocessed assertions. Called on new assertions after * preprocessing before they are asserted to theory engine. */ |