From: Tim King <taking@cs.nyu.edu>
Date: Fri, 9 Feb 2018 19:23:31 +0000 (-0800)
Subject: Replacing an incorrect reference to an injected class name when the type was meant... 
X-Git-Tag: cvc5-1.0.0~5299
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d4b136c10ac3a226061d12cdf8e12340ad0a974d;p=cvc5.git

Replacing an incorrect reference to an injected class name when the type was meant. (#1585)
---

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;