diff options
Diffstat (limited to 'src/expr/buffered_proof_generator.h')
| -rw-r--r-- | src/expr/buffered_proof_generator.h | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/expr/buffered_proof_generator.h b/src/expr/buffered_proof_generator.h index f774e383d..da80891a2 100644 --- a/src/expr/buffered_proof_generator.h +++ b/src/expr/buffered_proof_generator.h @@ -17,17 +17,14 @@ #ifndef CVC4__EXPR__BUFFERED_PROOF_GENERATOR_H #define CVC4__EXPR__BUFFERED_PROOF_GENERATOR_H -#include <map> -#include <vector> - #include "context/cdhashmap.h" -#include "context/cdhashset.h" #include "expr/proof_generator.h" -#include "expr/proof_node_manager.h" #include "expr/proof_step_buffer.h" namespace CVC4 { +class ProofNodeManager; + /** * The proof generator for buffered steps. This class is a context-dependent * mapping from formulas to proof steps. It does not generate ProofNodes until it |