about summary refs log tree commit diff
path: root/pkgs/build-support/agda/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/build-support/agda/default.nix')
-rw-r--r--pkgs/build-support/agda/default.nix6
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index 74debe79efc69..0bdc049934a77 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -7,12 +7,12 @@
 , extension ? (self: super: {})
 }:
 
+with stdenv.lib.strings;
+
 let
   optionalString = stdenv.lib.optionalString;
   filter = stdenv.lib.filter;
-  concatMapStringsSep = stdenv.lib.strings.concatMapStringsSep;
-  concatMapStrings = stdenv.lib.strings.concatMapStrings;
-  unwords = stdenv.lib.strings.concatStringsSep " ";
+  unwords = concatStringsSep " ";
   mapInside = xs: unwords (map (x: x + "/*") xs);
 
   defaults = self : {