From 773a2ae7bcc10564cf83ce97e7d150027ea7c5e9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 7 Dec 2021 15:08:43 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
index 1d3643edf..ea009b1bc 100644
--- a/src/api/api_solver.cpp
+++ b/src/api/api_solver.cpp
@@ -950,7 +950,7 @@ extern "C" {
 
     unsigned Z3_API Z3_solver_propagate_register_cb(Z3_context c, Z3_solver_callback s, Z3_ast e) {
         Z3_TRY;
-        Z3_solver_propagate_register_cb(c, s, e);
+        LOG_Z3_solver_propagate_register_cb(c, s, e);
         RESET_ERROR_CODE();
         return reinterpret_cast<user_propagator::callback*>(s)->register_cb(to_expr(e));
         Z3_CATCH_RETURN(0);