From 6e027c40f26ed5f671e6f198ed0f005f0754927c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=A9tan=20Lepage?=
 <33058747+GaetanLepage@users.noreply.github.com>
Date: Thu, 2 Mar 2023 14:01:31 +0100
Subject: [PATCH] plugins/vimtex: fix error when user does not set any
 extraConfig option (#216)

---
 plugins/languages/vimtex.nix | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

diff --git a/plugins/languages/vimtex.nix b/plugins/languages/vimtex.nix
index 194fe8af..6852e045 100644
--- a/plugins/languages/vimtex.nix
+++ b/plugins/languages/vimtex.nix
@@ -13,13 +13,17 @@ in
 
       package = helpers.mkPackageOption "vimtex" pkgs.vimPlugins.vimtex;
 
-      extraConfig = helpers.mkNullOrOption types.attrs ''
-        The configuration options for vimtex without the 'vimtex_' prefix.
-        Example: To set 'vimtex_compiler_enabled' to 1, write
-          extraConfig = {
-            compiler_enabled = true;
-          };
-      '';
+      extraConfig = mkOption {
+        type = types.attrs;
+        description = ''
+          The configuration options for vimtex without the 'vimtex_' prefix.
+          Example: To set 'vimtex_compiler_enabled' to 1, write
+            extraConfig = {
+              compiler_enabled = true;
+            };
+        '';
+        default = {};
+      };
     };
 
     config = let