From 682fa3f81531991f984ccf4c3a29c00b46439806 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Mar 2026 23:00:07 +0000
Subject: [PATCH] Fix indentation: use spaces instead of tabs in api_model.cpp
 CHECK_NON_NULL

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/api_model.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_model.cpp b/src/api/api_model.cpp
index bfd6561a2..3e065fb64 100644
--- a/src/api/api_model.cpp
+++ b/src/api/api_model.cpp
@@ -252,7 +252,7 @@ extern "C" {
         LOG_Z3_add_func_interp(c, m, f, else_val);
         RESET_ERROR_CODE();
         CHECK_NON_NULL(m, nullptr);
-		CHECK_NON_NULL(f, nullptr);
+        CHECK_NON_NULL(f, nullptr);
         func_decl* d = to_func_decl(f);
         model* mdl = to_model_ref(m);
         Z3_func_interp_ref * f_ref = alloc(Z3_func_interp_ref, *mk_c(c), mdl);