From a50cb8c1b7f4ec1a03bc34302f1c58844aeadf2e Mon Sep 17 00:00:00 2001 From: kalmenn Date: Fri, 13 Sep 2024 10:10:11 +0200 Subject: [PATCH] fix(idris2): Use table.insert instead of the non-existing table:insert method --- lua/plugins/languages/idris2.lua | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/lua/plugins/languages/idris2.lua b/lua/plugins/languages/idris2.lua index c179690..78ebdc3 100644 --- a/lua/plugins/languages/idris2.lua +++ b/lua/plugins/languages/idris2.lua @@ -80,7 +80,8 @@ local function setup_tasks() local templates = {} for _, ipkg_path in pairs(ipkg_paths) do - templates:insert( + table.insert( + templates, overseer.wrap_template( generic_build_tmpl, { name = "Build " .. ipkg_path}, @@ -88,7 +89,8 @@ local function setup_tasks() ) ) - templates:insert( + table.insert( + templates, overseer.wrap_template( generic_run_tmpl, { name = "Run " .. ipkg_path },