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<name> & to_list_name(lua_State * L, int idx);
 list<name> to_list_name_ext(lua_State * L, int idx);
 int push_list_name(lua_State * L, list<name> const & l);