From ce905f91c380b251d2a65a0864a67682e9ff4785 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 21 Feb 2026 23:26:47 +0000
Subject: [PATCH] Register max_bv_sharing simplifier via ADD_SIMPLIFIER

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/ast/simplifiers/max_bv_sharing.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ast/simplifiers/max_bv_sharing.h b/src/ast/simplifiers/max_bv_sharing.h
index bfc8f4472..4bb7b6826 100644
--- a/src/ast/simplifiers/max_bv_sharing.h
+++ b/src/ast/simplifiers/max_bv_sharing.h
@@ -23,3 +23,7 @@ Author:
 #include "ast/simplifiers/dependent_expr_state.h"
 
 dependent_expr_simplifier * mk_max_bv_sharing(ast_manager & m, params_ref const & p, dependent_expr_state& fmls);
+
+/*
+  ADD_SIMPLIFIER("max-bv-sharing", "use heuristics to maximize the sharing of bit-vector expressions such as adders and multipliers.", "mk_max_bv_sharing(m, p, s)")
+*/