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 286396523..acb49843f 100644 --- a/src/proof/proof_rule.cpp +++ b/src/proof/proof_rule.cpp @@ -157,6 +157,7 @@ const char* toString(PfRule id) case PfRule::RE_ELIM: return "RE_ELIM"; case PfRule::STRING_CODE_INJ: return "STRING_CODE_INJ"; case PfRule::STRING_SEQ_UNIT_INJ: return "STRING_SEQ_UNIT_INJ"; + case PfRule::STRING_INFERENCE: return "STRING_INFERENCE"; //================================================= Arith rules case PfRule::MACRO_ARITH_SCALE_SUM_UB: return "ARITH_SCALE_SUM_UPPER_BOUNDS"; |