From 2996be511d3c4ac16694584fe114edd30a25309e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1rton=20Boros?= <martonboros@gmail.com>
Date: Sat, 3 Feb 2018 10:17:24 +0100
Subject: [PATCH] Undo spacing difference

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

diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix
index 0e3a83931409..155098a46252 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
       '';