na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 7, 2021 · 773a2ae · 773a2ae
1 parent 60d5a00
commit 773a2ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);