From 959ccaddc47ae0e69b38dc6869776d99848ec845 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 7 Aug 2024 13:03:32 +0200
Subject: [PATCH] missing include

---
 src/runtime/alloc.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/runtime/alloc.h b/src/runtime/alloc.h
index e687974f814d..69b76ae6b871 100644
--- a/src/runtime/alloc.h
+++ b/src/runtime/alloc.h
@@ -7,6 +7,7 @@ Author: Leonardo de Moura
 #pragma once
 #include <stddef.h>
 #include <stdint.h>
+#include <lean/lean.h>
 
 namespace lean {
 void init_thread_heap();