From 240ebff549a2cf557f9abe9568f5de885f13e50d Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 7 Aug 2024 17:13:13 +0200
Subject: [PATCH] chore: Windows needs more `LEAN_EXPORT`s (#4941)

---
 src/runtime/alloc.h | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/runtime/alloc.h b/src/runtime/alloc.h
index 5aaa19cd71f3..69b76ae6b871 100644
--- a/src/runtime/alloc.h
+++ b/src/runtime/alloc.h
@@ -7,13 +7,14 @@ Author: Leonardo de Moura
 #pragma once
 #include <stddef.h>
 #include <stdint.h>
+#include <lean/lean.h>
 
 namespace lean {
 void init_thread_heap();
-void * alloc(size_t sz);
-void dealloc(void * o, size_t sz);
-void add_heartbeats(uint64_t count);
-uint64_t get_num_heartbeats();
+LEAN_EXPORT void * alloc(size_t sz);
+LEAN_EXPORT void dealloc(void * o, size_t sz);
+LEAN_EXPORT void add_heartbeats(uint64_t count);
+LEAN_EXPORT uint64_t get_num_heartbeats();
 void initialize_alloc();
 void finalize_alloc();
 }