diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-04-12 12:23:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-12 12:23:57 -0500 |
| commit | af135825a60f917711d133828c9fdd6831e2142d (patch) | |
| tree | 20e9b46a027b8f8242901964fa360bb849f640df /src/theory/theory.h | |
| parent | 6b5b926f28b66c3812d77fd234e93b9eee03f71f (diff) | |
Fixes for free variables in assertions (#1762)
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. */ |