1 files changed, 1 insertions, 1 deletions
diff --git a/nix/racket-env.nix b/nix/racket-env.nix
index d05a4f8..af924b1 100644
--- a/nix/racket-env.nix
+++ b/nix/racket-env.nix
@@ -426,11 +426,11 @@ in
   pkgs.stdenv.mkDerivation {
     name = "racket-wrapped";
     buildInputs = [pkgs.makeWrapper];
-    propagatedBuildInputs = [pkgs.z3];
     phases = ["installPhase" "fixupPhase"];
     installPhase = ''
       mkdir -p $out/bin
       makeWrapper ${racket}/bin/racket $out/bin/racket \
         --set PLTADDONDIR ${collection};
+        --prefix PATH : ${pkgs.z3}/bin
     '';
   }