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 = {