diff options
| author | Gaetan Lepage <gaetan@glepage.com> | 2023-04-22 16:45:13 +0200 |
|---|---|---|
| committer | Gaetan Lepage <gaetan@glepage.com> | 2023-04-29 13:53:50 +0200 |
| commit | 608908ed7a44d8c4bebdd95832b6bdb27d10ab92 (patch) | |
| tree | 71866de5bc0351773f2896914131edf681240e33 /pkgs/applications/science/logic/klee/default.nix | |
| parent | 1314174d3a1d5c7787acdf9259873f275bcfec5b (diff) | |
lit: move to python-modules
Diffstat (limited to 'pkgs/applications/science/logic/klee/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/klee/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/klee/default.nix b/pkgs/applications/science/logic/klee/default.nix index 898e344f2a453..a82d9c51e3be7 100644 --- a/pkgs/applications/science/logic/klee/default.nix +++ b/pkgs/applications/science/logic/klee/default.nix @@ -75,7 +75,7 @@ in stdenv.mkDerivation rec { # Should appear BEFORE lit, since lit passes through python rather # than the python environment we make. kleePython - (lit.override { python3 = kleePython; }) + (lit.override { python = kleePython; }) ]; cmakeFlags = let |