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 },