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

style(lua): add missing include

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-04 16:29:47 -08:00
parent 32d3990fc7
commit 92b2591a6f
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/bindings/lua/util.cpp
View file

@ -7,6 +7,7 @@ Author: Leonardo de Moura
#ifdef LEAN_USE_LUA #ifdef LEAN_USE_LUA
#include <lua.hpp> #include <lua.hpp>
#include <exception> #include <exception>
#include <string>
#include "util/exception.h" #include "util/exception.h"
namespace lean { namespace lean {