diff options
Diffstat (limited to 'src/proof/lrat/lrat_proof.h')
| -rw-r--r-- | src/proof/lrat/lrat_proof.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/proof/lrat/lrat_proof.h b/src/proof/lrat/lrat_proof.h index fb05bd71b..a999e5ca6 100644 --- a/src/proof/lrat/lrat_proof.h +++ b/src/proof/lrat/lrat_proof.h @@ -137,8 +137,7 @@ class LratProof * @param dratBinary The DRAT proof from the SAT solver, as a binary stream. */ static LratProof fromDratProof( - const std::unordered_map<ClauseId, prop::SatClause*>& usedClauses, - const std::vector<ClauseId>& clauseOrder, + const std::vector<std::pair<ClauseId, prop::SatClause>>& usedClauses, const std::string& dratBinary); /** * @brief Construct an LRAT proof from its textual representation |