fix(idris2): Use table.insert instead of the non-existing table:insert method

2024-09-13 10:10:11 +02:00 · 2024-09-13 10:10:11 +02:00 · a50cb8c1b7
parent dcf0c7556b
commit a50cb8c1b7
1 changed files with 4 additions and 2 deletions
--- 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 },