From 3beacc4dbe24be54dd63258897d69545ffd52e6a Mon Sep 17 00:00:00 2001
From: Alexander Ried <ried@mytum.de>
Date: Tue, 6 Sep 2016 00:09:11 +0200
Subject: [PATCH] fstar: remove workaround (#18331)

As the comment indicates this was a workaround that has since been fixed
upstream.
---
 pkgs/development/compilers/fstar/default.nix | 4 ----
 1 file changed, 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"
   '';