diff --git a/pkgs/applications/science/logic/aspino/default.nix b/pkgs/applications/science/logic/aspino/default.nix index 13ee15bc781d..6b0e75de8066 100644 --- a/pkgs/applications/science/logic/aspino/default.nix +++ b/pkgs/applications/science/logic/aspino/default.nix @@ -27,7 +27,6 @@ stdenv.mkDerivation { --replace "defined(__linux__)" "defined(__linux__) && defined(__x86_64__)" substituteInPlace src/MaxSatSolver.cc \ --replace "occ[i][sign(softLiterals[j])] > 0" "occ[i][sign(softLiterals[j])] != 0" - patchShebangs . ''; preBuild = ''