diff options
| -rw-r--r-- | src/proof/sat_proof.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index 6b2b39fd4..4ed2360c2 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -301,7 +301,7 @@ class TSatProof { void addToCnfProof(ClauseId id); // Internal data. - typename Solver::Solver* d_solver; + Solver* d_solver; context::Context* d_context; CnfProof* d_cnfProof; |