From 2996be511d3c4ac16694584fe114edd30a25309e Mon Sep 17 00:00:00 2001
From: Márton Boros <martonboros@gmail.com>
Date: Sat, 3 Feb 2018 10:17:24 +0100
Subject: Undo spacing difference

---
 pkgs/development/idris-modules/idris-wrapper.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pkgs/development/idris-modules')

diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix
index 0e3a8393140..155098a4625 100644
--- a/pkgs/development/idris-modules/idris-wrapper.nix
+++ b/pkgs/development/idris-modules/idris-wrapper.nix
@@ -10,6 +10,7 @@ symlinkJoin {
     wrapProgram $out/bin/idris \
       --suffix PATH : ${ stdenv.lib.makeBinPath path } \
       --suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib}
+
     mkdir -p $out/nix-support
     substituteAll ${./setup-hook.sh} $out/nix-support/setup-hook
       '';
-- 
cgit 1.4.1