From dace27b4c4eedfd06cbd2fc4fcda23c2d6f3a1a1 Mon Sep 17 00:00:00 2001
From: Russell O'Connor <roconnor@theorem.ca>
Date: Mon, 28 May 2012 20:57:54 +0000
Subject: Revert accidentaly patch of ssreflect.

svn path=/nixpkgs/trunk/; revision=34264
---
 pkgs/applications/science/logic/ssreflect/default.nix | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'pkgs/applications/science/logic')

diff --git a/pkgs/applications/science/logic/ssreflect/default.nix b/pkgs/applications/science/logic/ssreflect/default.nix
index 75a806cd945c..c554b5dcea1c 100644
--- a/pkgs/applications/science/logic/ssreflect/default.nix
+++ b/pkgs/applications/science/logic/ssreflect/default.nix
@@ -33,12 +33,12 @@ stdenv.mkDerivation {
     COQLIB=$out/lib/coq make -f Makefile.coq install -e
     mkdir -p $out/bin
     cp bin/* $out/bin
-#    for i in $out/bin/*; do
-#      wrapProgram "$i" \
-#        --add-flags "-R" \
-#        --add-flags "$out/lib/coq/user-contrib/Ssreflect" \
-#        --add-flags "Ssreflect"
-#    done
+    for i in $out/bin/*; do
+      wrapProgram "$i" \
+        --add-flags "-R" \
+        --add-flags "$out/lib/coq/user-contrib/Ssreflect" \
+        --add-flags "Ssreflect"
+    done
   '';
 
   meta = {
-- 
cgit 1.4.1