diff --git a/src/frontends/lean/parser.cpp b/src/frontends/lean/parser.cpp
index 5a3e503b1..16fa6cf0c 100644
--- a/src/frontends/lean/parser.cpp
+++ b/src/frontends/lean/parser.cpp
@@ -14,6 +14,7 @@ Author: Leonardo de Moura
 #include <unordered_map>
 #include <utility>
 #include <string>
+#include <tuple>
 #include <vector>
 #include "util/scoped_map.h"
 #include "util/exception.h"
diff --git a/src/frontends/lean/pp.cpp b/src/frontends/lean/pp.cpp
index 275b252fe..4ec4f0c78 100644
--- a/src/frontends/lean/pp.cpp
+++ b/src/frontends/lean/pp.cpp
@@ -6,6 +6,7 @@ Author: Leonardo de Moura
 */
 #include <limits>
 #include <memory>
+#include <tuple>
 #include <utility>
 #include <vector>
 #include "util/scoped_map.h"
diff --git a/src/kernel/environment.cpp b/src/kernel/environment.cpp
index 9fcbb4ad6..1aadd6e1b 100644
--- a/src/kernel/environment.cpp
+++ b/src/kernel/environment.cpp
@@ -7,6 +7,7 @@ Author: Leonardo de Moura
 #include <algorithm>
 #include <vector>
 #include <atomic>
+#include <tuple>
 #include <unordered_map>
 #include "util/safe_arith.h"
 #include "kernel/for_each.h"
diff --git a/src/kernel/expr.h b/src/kernel/expr.h
index a70f14b19..822876dda 100644
--- a/src/kernel/expr.h
+++ b/src/kernel/expr.h
@@ -10,6 +10,7 @@ Author: Leonardo de Moura
 #include <iostream>
 #include <limits>
 #include <utility>
+#include <tuple>
 #include "util/rc.h"
 #include "util/name.h"
 #include "util/hash.h"
diff --git a/src/kernel/replace.h b/src/kernel/replace.h
index e972e56a1..b532fafca 100644
--- a/src/kernel/replace.h
+++ b/src/kernel/replace.h
@@ -5,6 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #pragma once
+#include <tuple>
 #include "util/buffer.h"
 #include "kernel/expr.h"
 #include "kernel/expr_maps.h"
diff --git a/src/kernel/replace_visitor.cpp b/src/kernel/replace_visitor.cpp
index 88e67a90a..f670dd435 100644
--- a/src/kernel/replace_visitor.cpp
+++ b/src/kernel/replace_visitor.cpp
@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
+#include <tuple>
 #include "kernel/replace_visitor.h"
 
 namespace lean {
diff --git a/src/library/max_sharing.cpp b/src/library/max_sharing.cpp
index 728254f9a..ac80b7c72 100644
--- a/src/library/max_sharing.cpp
+++ b/src/library/max_sharing.cpp
@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
+#include <tuple>
 #include <unordered_set>
 #include "util/buffer.h"
 #include "library/max_sharing.h"