diff options
Diffstat (limited to 'src/proof/drat/drat_proof.cpp')
| -rw-r--r-- | src/proof/drat/drat_proof.cpp | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/proof/drat/drat_proof.cpp b/src/proof/drat/drat_proof.cpp index 5a01ffdfd..162efc3e5 100644 --- a/src/proof/drat/drat_proof.cpp +++ b/src/proof/drat/drat_proof.cpp @@ -158,7 +158,9 @@ void DratInstruction::outputAsText(std::ostream& os) const os << '0' << std::endl; break; } - default: { Unreachable("Unknown DRAT instruction kind"); + default: + { + Unreachable() << "Unknown DRAT instruction kind"; } } } @@ -267,7 +269,9 @@ void DratProof::outputAsLfsc(std::ostream& os, uint8_t indentation) const os << "DRATProofd "; break; } - default: { Unreachable("Unrecognized DRAT instruction kind"); + default: + { + Unreachable() << "Unrecognized DRAT instruction kind"; } } for (const SatLiteral& l : i.d_clause) |