diff options
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/why3.nix | 2 |
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"; |