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"