From 705c4d7b49a7a824be70b6ead4799dfe328df783 Mon Sep 17 00:00:00 2001
From: John Ericson <Ericson2314@Yahoo.com>
Date: Sat, 9 May 2015 00:50:39 +0000
Subject: [PATCH] agda: Remove unnecessary env-var export

Derivation attributes are automatically exported as environment
variables already.
---
 pkgs/build-support/agda/default.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index cb6059e00cd..a137704a30c 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -70,7 +70,6 @@ in
         # configurePhase is idempotent
         configurePhase = ''
           eval "$preConfigure"
-          export AGDA_PACKAGE_PATH=${self.AGDA_PACKAGE_PATH};
           export PATH="${self.agdaWrapper}/bin:$PATH"
           eval "$postConfigure"
         '';