From 6eca75ddbdaeb7347eeb6360afff43c0d10e3aac Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 17 Sep 2021 19:31:40 +0200
Subject: [PATCH] fix: include exported declarations in defining file

---
 src/runtime/object.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp
index 77273db044..fe04efc244 100644
--- a/src/runtime/object.cpp
+++ b/src/runtime/object.cpp
@@ -9,6 +9,7 @@ Author: Leonardo de Moura
 #include <vector>
 #include <deque>
 #include <cmath>
+#include <lean/lean.h>
 #include "runtime/object.h"
 #include "runtime/mpq.h"
 #include "runtime/thread.h"