Fix

ajreynol · Feb 24, 2025 · ba8f308 · ba8f308
1 parent 2ac5057
commit ba8f308
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/api/cpp/cvc5_proof_rule_template.cpp b/src/api/cpp/cvc5_proof_rule_template.cpp
@@ -288,9 +288,6 @@ const char* toString(cvc5::ProofRewriteRule rule)
     case ProofRewriteRule::MACRO_BV_EQ_SOLVE: return "macro-bv-eq-solve";
     case ProofRewriteRule::BV_UMULO_ELIM: return "bv-umulo-elim";
     case ProofRewriteRule::BV_SMULO_ELIM: return "bv-smulo-elim";
-    case ProofRewriteRule::BV_ADD_COMBINE_LIKE_TERMS:
-      return "bv-add-combine-like-terms";
-    case ProofRewriteRule::BV_MULT_SIMPLIFY: return "bv-mult-simplify";
     case ProofRewriteRule::BV_BITWISE_SLICING: return "bv-bitwise-slicing";
     case ProofRewriteRule::BV_REPEAT_ELIM: return "bv-repeat-elim";
     case ProofRewriteRule::STR_CTN_MULTISET_SUBSET: