Replacing an incorrect reference to an injected class name when the type was meant...

diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h
index 6b2b39fd47bd398336470ab2603e3340f5b47cb8..4ed2360c22454a97dea3faad4700f39dcebfb944 100644 (file)
--- 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;