diff options
Diffstat (limited to 'script/core/definition.lua')
| -rw-r--r-- | script/core/definition.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/script/core/definition.lua b/script/core/definition.lua index 589e4d79..593f8f34 100644 --- a/script/core/definition.lua +++ b/script/core/definition.lua @@ -44,6 +44,7 @@ local accept = { ['string'] = true, ['boolean'] = true, ['number'] = true, + ['integer'] = true, ['...'] = true, ['doc.type.name'] = true, @@ -87,7 +88,8 @@ local function convertIndex(source) end if source.type == 'string' or source.type == 'boolean' - or source.type == 'number' then + or source.type == 'number' + or source.type == 'integer' then local parent = source.parent if not parent then return |