Lua: cleanup stack in peekReadOptionsTable

A ReaderOptions element was left on top of the stack when the
`peekReadOptionsTable` function was invoked.
This commit is contained in:
Albert Krewinkel 2021-12-31 11:02:16 +01:00
parent 7ff1b798c4
commit d6e66b1f1d
No known key found for this signature in database
GPG key ID: 388DC0B21F631124

View file

@ -127,7 +127,7 @@ peekReaderOptionsTable idx = retrieving "ReaderOptions (table)" $ do
setFields
pushnil -- first key
setFields
peekUD typeReaderOptions top
peekUD typeReaderOptions top `lastly` pop 1
instance Pushable ReaderOptions where
push = pushReaderOptions