missing include

leanprover · Aug 7, 2024 · 959ccad · 959ccad
1 parent ef79b0f
commit 959ccad
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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();