z3.h: Don't include stdio.h (#7014)

This doesn't seem to actually be used or needed here.
Z3Prover · Nov 24, 2023 · 2354998 · 2354998
1 parent a10c93e
commit 2354998
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/api/z3.h b/src/api/z3.h
@@ -20,7 +20,6 @@ Module Name:
 
 #pragma once
 
-#include <stdio.h>
 #include <stdbool.h>
 #include <stdint.h>
 #include "z3_macros.h"