diff options
Diffstat (limited to 'src/smt/preprocessor.h')
| -rw-r--r-- | src/smt/preprocessor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/preprocessor.h b/src/smt/preprocessor.h index 0191d17e5..eadbbedc5 100644 --- a/src/smt/preprocessor.h +++ b/src/smt/preprocessor.h @@ -30,6 +30,7 @@ class PreprocessingPassContext; namespace smt { class AbstractValues; +class PreprocessProofGenerator; /** * The preprocessor module of an SMT engine. |