diff options
Diffstat (limited to 'src/theory/bv/bv_solver_simple.h')
-rw-r--r-- | src/theory/bv/bv_solver_simple.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/bv_solver_simple.h b/src/theory/bv/bv_solver_simple.h index 2c23189db..0af4f5b89 100644 --- a/src/theory/bv/bv_solver_simple.h +++ b/src/theory/bv/bv_solver_simple.h @@ -67,8 +67,8 @@ class BVSolverSimple : public BVSolver */ void addBBLemma(TNode fact); - /** Proof generator. */ - std::unique_ptr<TConvProofGenerator> d_tcpg; + /** Proof node manager. */ + ProofNodeManager* d_pnm; /** Bit-blaster used to bit-blast atoms/terms. */ std::unique_ptr<BBProof> d_bitblaster; /** Proof rule checker */ |