From 3ad0220687cd9b4abd6c8ffba461d84740253b8d Mon Sep 17 00:00:00 2001
From: Felix Buehler <account@buehler.rocks>
Date: Tue, 27 Aug 2024 20:42:47 +0200
Subject: [PATCH] debug-info: remove `with lib;`

---
 nixos/modules/config/debug-info.nix | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/nixos/modules/config/debug-info.nix b/nixos/modules/config/debug-info.nix
index 05a2fd2ceeea..9bf3d82ace2a 100644
--- a/nixos/modules/config/debug-info.nix
+++ b/nixos/modules/config/debug-info.nix
@@ -1,13 +1,10 @@
 { config, lib, ... }:
-
-with lib;
-
 {
 
   options = {
 
-    environment.enableDebugInfo = mkOption {
-      type = types.bool;
+    environment.enableDebugInfo = lib.mkOption {
+      type = lib.types.bool;
       default = false;
       description = ''
         Some NixOS packages provide debug symbols. However, these are
@@ -29,7 +26,7 @@ with lib;
   };
 
 
-  config = mkIf config.environment.enableDebugInfo {
+  config = lib.mkIf config.environment.enableDebugInfo {
 
     # FIXME: currently disabled because /lib is already in
     # environment.pathsToLink, and we can't have both.