diff options
Diffstat (limited to 'nix/racket-env.nix')
| -rw-r--r-- | nix/racket-env.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nix/racket-env.nix b/nix/racket-env.nix index af924b1..cadc022 100644 --- a/nix/racket-env.nix +++ b/nix/racket-env.nix @@ -430,7 +430,7 @@ in installPhase = '' mkdir -p $out/bin makeWrapper ${racket}/bin/racket $out/bin/racket \ - --set PLTADDONDIR ${collection}; - --prefix PATH : ${pkgs.z3}/bin + --set PLTADDONDIR ${collection} \ + --prefix PATH : ${pkgs.z3}/bin; ''; } |