Fix

ajreynol · Feb 24, 2025 · 1d14ddf · 1d14ddf
1 parent 6a93946
commit 1d14ddf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/theory/bv/theory_bv_rewriter.cpp b/src/theory/bv/theory_bv_rewriter.cpp
@@ -34,7 +34,7 @@ TheoryBVRewriter::TheoryBVRewriter(NodeManager* nm) : TheoryRewriter(nm)
   initializeRewrites();
   registerProofRewriteRule(ProofRewriteRule::MACRO_BV_EQ_SOLVE,
                            TheoryRewriteCtx::POST_DSL);
-  registerProofRewriteRule(ProofRewriteRule::MACRO_BV_ASHR_BY_CONST,
+  registerProofRewriteRule(ProofRewriteRule::MACRO_BV_EXTRACT_CONCAT,
                            TheoryRewriteCtx::POST_DSL);
   registerProofRewriteRule(ProofRewriteRule::MACRO_BV_OR_SIMPLIFY,
                            TheoryRewriteCtx::POST_DSL);