From a13ff3a13f1f4e1ec3e0e1d693054b05338ace7a Mon Sep 17 00:00:00 2001
From: Enrico Zandomeni Borba <enricozb@gmail.com>
Date: Thu, 20 Jun 2024 14:01:32 +0200
Subject: [PATCH] header minimization

---
 src/hvm.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/hvm.h b/src/hvm.h
index e6780bdc..af554ca6 100644
--- a/src/hvm.h
+++ b/src/hvm.h
@@ -1,11 +1,8 @@
 #ifndef hvm_h_INCLUDED
 #define hvm_h_INCLUDED
 
-#include <inttypes.h>
 #include <math.h>
-#include <stdatomic.h>
 #include <stdint.h>
-#include <stdlib.h>
 
 // Booleans
 #define TRUE  1