diff options
Diffstat (limited to 'src/proof/proof_rule.cpp')
| -rw-r--r-- | src/proof/proof_rule.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/proof_rule.cpp b/src/proof/proof_rule.cpp index 7e1cdf8d3..008b0dc6f 100644 --- a/src/proof/proof_rule.cpp +++ b/src/proof/proof_rule.cpp @@ -48,6 +48,7 @@ const char* toString(PfRule id) case PfRule::TRUST_SUBS_MAP: return "TRUST_SUBS_MAP"; case PfRule::TRUST_SUBS_EQ: return "TRUST_SUBS_EQ"; case PfRule::THEORY_INFERENCE: return "THEORY_INFERENCE"; + case PfRule::SAT_REFUTATION: return "SAT_REFUTATION"; //================================================= Boolean rules case PfRule::RESOLUTION: return "RESOLUTION"; case PfRule::CHAIN_RESOLUTION: return "CHAIN_RESOLUTION"; |