From 2354998cd2c033b7c75d661ac60c1d9015180ab8 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 24 Nov 2023 22:46:32 +0700
Subject: [PATCH] z3.h: Don't include `stdio.h` (#7014)

This doesn't seem to actually be used or needed here.
---
 src/api/z3.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/api/z3.h b/src/api/z3.h
index 2ad00d835..178f8f618 100644
--- a/src/api/z3.h
+++ b/src/api/z3.h
@@ -20,7 +20,6 @@ Notes:
 
 #pragma once
 
-#include <stdio.h>
 #include <stdbool.h>
 #include <stdint.h>
 #include "z3_macros.h"