why3.withProvers: fix #168644

2 years ago · 6e3a86f2f7
parent 4ca72ffe4e
commit 6e3a86f2f7
1 changed files with 1 additions and 1 deletions
--- a/pkgs/applications/science/logic/why3/with-provers.nix
+++ b/pkgs/applications/science/logic/why3/with-provers.nix
@ -27,6 +27,6 @@ stdenv.mkDerivation {

  installPhase = ''
    mkdir -p $out/bin
-    makeWrapper ${why3}/bin/why3 $out/bin/why3 --add-flags "--extra-config $out/share/why3/why3.conf"
+    makeWrapper ${why3}/bin/why3 $out/bin/why3 --add-flags "--config $out/share/why3/why3.conf"
  '';
 }