diff options
| author | Albert Krewinkel <[email protected]> | 2021-12-31 11:02:16 +0100 |
|---|---|---|
| committer | Albert Krewinkel <[email protected]> | 2021-12-31 11:02:16 +0100 |
| commit | d6e66b1f1d79ddb0a4b402461da5e1f42ed6b658 (patch) | |
| tree | aea082b5dd37d6fbdd8063adb4933ed82d408c86 /src | |
| parent | 7ff1b798c4e6681ef9050899442d80883116573a (diff) | |
Lua: cleanup stack in peekReadOptionsTable
A ReaderOptions element was left on top of the stack when the
`peekReadOptionsTable` function was invoked.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs b/src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs index c20770dba..225dcf116 100644 --- a/src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs +++ b/src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs @@ -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 |