diff --git a/src/bindings/lua/util.cpp b/src/bindings/lua/util.cpp
index c7bb74ace..bc7a72359 100644
--- a/src/bindings/lua/util.cpp
+++ b/src/bindings/lua/util.cpp
@@ -7,6 +7,7 @@ Author: Leonardo de Moura
 #ifdef LEAN_USE_LUA
 #include <lua.hpp>
 #include <exception>
+#include <string>
 #include "util/exception.h"
 
 namespace lean {