why3 : pass the generated config file with --config instead of --extra-config

with ~--extra-config~ ~why3 --list-provers~ outputs no known provers

1 files changed, 1 insertions, 1 deletions

diff --git a/modules/why3.nix b/modules/why3.nix
index cd986d1..eac5f35 100644
--- a/modules/why3.nix
+++ b/modules/why3.nix
@@ -8,7 +8,7 @@ let
     why3 -C $out config detect
     echo "${cfg.extraConfig}" >> $out
   '';
-  why3Flags = concatStringsSep " " [ "--extra-config ${why3Conf}" ];
+  why3Flags = concatStringsSep " " [ "--config=${why3Conf}" ];
 in {
   options.why3 = {
     enable = mkEnableOption "why3";