From 31a30370ac2ac1db375974929ddd3fe0169745a5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 7 Aug 2025 05:53:59 -0700
Subject: [PATCH] add Z3_solver_propagate_on_binding to ml callback
 declarations

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/update_api.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/update_api.py b/scripts/update_api.py
index ad6bb3658..13bccf832 100755
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -1392,6 +1392,7 @@ z3_ml_callbacks = frozenset([
     'Z3_solver_propagate_diseq',
     'Z3_solver_propagate_created',
     'Z3_solver_propagate_decide',
+    'Z3_solver_propagate_on_binding',
     'Z3_solver_register_on_clause'
     ])