diff options
Diffstat (limited to 'src/smt/preprocessor.h')
| -rw-r--r-- | src/smt/preprocessor.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/smt/preprocessor.h b/src/smt/preprocessor.h index 367490306..22b585e05 100644 --- a/src/smt/preprocessor.h +++ b/src/smt/preprocessor.h @@ -56,12 +56,6 @@ class Preprocessor */ bool process(Assertions& as); /** - * Postprocess assertions, called after the SmtEngine has finished - * giving the assertions to the SMT solver and before the assertions are - * cleared. - */ - void postprocess(Assertions& as); - /** * Clear learned literals from the Boolean propagator. */ void clearLearnedLiterals(); |