From 88ebdbcfb68ceca88d274df7f34a96ceb23ae3dd Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Sun, 3 Nov 2013 13:25:33 -0500
Subject: [PATCH] fix(shell/lua): move "#include<iostream>"

---
 src/shell/lua/leanlua.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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) {