diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-01-29 21:26:07 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-01-29 21:35:06 +0100 |
commit | b03c6a4e9a3e3a1573c2957cd7376fffc3642710 (patch) | |
tree | 04cef85190b830f9cb1626428c0707178393092f /pkgs/top-level | |
parent | 5139a600bd11826134a6c2879d643399cef8c85a (diff) |
btor2tools: fix build with gcc 13
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index c25c85f04cdf2..137c26c9a3ec6 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -39644,7 +39644,7 @@ with pkgs; avy = callPackage ../applications/science/logic/avy { }; - btor2tools = pin-to-gcc12-if-gcc13 (callPackage ../applications/science/logic/btor2tools { }); + btor2tools = callPackage ../applications/science/logic/btor2tools { }; boolector = callPackage ../applications/science/logic/boolector { stdenv = if stdenv.cc.isClang then overrideLibcxx llvmPackages_14.stdenv else stdenv; |