From aaea29883953874c2216d9db69c657e4e7032862 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 9 May 2014 20:13:10 -0700 Subject: [PATCH] refactor(library/kernel_bindings): remove level pair and list of level pairs from Lua API Signed-off-by: Leonardo de Moura --- src/library/kernel_bindings.cpp | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/library/kernel_bindings.cpp b/src/library/kernel_bindings.cpp index fe83e0e2b..200304789 100644 --- a/src/library/kernel_bindings.cpp +++ b/src/library/kernel_bindings.cpp @@ -163,10 +163,6 @@ static void open_level(lua_State * L) { lua_setglobal(L, "level_kind"); } -DEFINE_LUA_HOMO_PAIR(level, push_level, to_level) -typedef std::pair pair_level; -DEFINE_LUA_LIST(pair_level, push_pair_level, to_pair_level_ext) - // Expr_binder_info DECL_UDATA(expr_binder_info) static int mk_binder_info(lua_State * L) { @@ -1536,8 +1532,6 @@ static void open_type_checker(lua_State * L) { void open_kernel_module(lua_State * L) { open_level(L); open_list_level(L); - open_pair_level(L); - open_list_pair_level(L); open_binder_info(L); open_expr(L); open_list_expr(L);