diff --git a/src/frontends/lean/parser.cpp b/src/frontends/lean/parser.cpp
index 4e79ac35b2..6f5eac3224 100644
--- a/src/frontends/lean/parser.cpp
+++ b/src/frontends/lean/parser.cpp
@@ -5,10 +5,10 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #ifdef LEAN_USE_READLINE
+#include <stdio.h>
 #include <readline/readline.h>
 #include <readline/history.h>
 #include <stdlib.h>
-#include <stdio.h>
 #include <unistd.h>
 #include <algorithm>
 #endif