amend previous commit (forgotten checkin)

diff --git a/libs/lua/lua/lua.h b/libs/lua/lua/lua.h
index ad252336915f0d7dbfb6bb8314f9a6f07bd027b5..3e9a88551e09ea9b3290de4c8f49068917691a48 100644 (file)
--- a/libs/lua/lua/lua.h
+++ b/libs/lua/lua/lua.h
@@ -1,6 +1,6 @@
 #ifndef LUA_LIBRARY_H
 #define LUA_LIBRARY_H
 
-#include "lua-5.3.2/lua.hpp"
+#include "lua-5.3.3/lua.hpp"
 
 #endif