diff --git a/src/shell/lua/leanlua.cpp b/src/shell/lua/leanlua.cpp
index bbdd2fdcc..04d0c6ff4 100644
--- a/src/shell/lua/leanlua.cpp
+++ b/src/shell/lua/leanlua.cpp
@@ -4,10 +4,11 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
-#ifdef LEAN_USE_LUA
-#include <lua.hpp>
 #include <iostream>
 #include <cstdlib>
+
+#ifdef LEAN_USE_LUA
+#include <lua.hpp>
 #include "bindings/lua/name.h"
 
 int main(int argc, char ** argv) {