michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(shell/lua): move "#include<iostream>"

Browse source
This commit is contained in:
Soonho Kong 2013-11-03 13:25:33 -05:00
parent a9d55bf036
commit 88ebdbcfb6
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/shell/lua/leanlua.cpp
View file

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