diff options
| -rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index 70aa22569a32..3f16667d1553 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -64,10 +64,6 @@ stdenv.mkDerivation rec { installFlags = "-C src/ocaml-output"; postInstall = '' - # Workaround for FStarLang/FStar#456 - mv $out/lib/fstar/* $out/lib/ - rmdir $out/lib/fstar - wrapProgram $out/bin/fstar.exe --prefix PATH ":" "${z3}/bin" ''; |