From a8124b41d07ca68d6012f2d3a934f0b4f75cc627 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 14 May 2014 09:44:58 -0700 Subject: [PATCH] feat(util/name): expose is_list_name function Signed-off-by: Leonardo de Moura --- src/util/name.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util/name.h b/src/util/name.h index 2e89ada9b..fe5c46004 100644 --- a/src/util/name.h +++ b/src/util/name.h @@ -147,6 +147,7 @@ inline deserializer & operator>>(deserializer & d, name & n) { n = read_name(d); UDATA_DEFS(name) name to_name_ext(lua_State * L, int idx); +bool is_list_name(lua_State * L, int idx); list & to_list_name(lua_State * L, int idx); list to_list_name_ext(lua_State * L, int idx); int push_list_name(lua_State * L, list const & l);