From 9bac961357e7793ca9b38448bf37b3a6c9e0a89e Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Mon, 14 Feb 2022 18:00:47 +0100
Subject: correct passing of coq config

---
 modules/why3.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules/why3.nix')

diff --git a/modules/why3.nix b/modules/why3.nix
index d5916b7..4665ceb 100644
--- a/modules/why3.nix
+++ b/modules/why3.nix
@@ -4,7 +4,7 @@ with lib;
 let
   cfg = config.why3;
   why3BuildInputs = [ cfg.package ] ++ cfg.provers
-    ++ (optional config.coq.enable config.coq.coqPackages.coq);
+    ++ (optional config.coq.enable config.coq.coq);
   why3Conf = pkgs.runCommand "why3.conf" { buildInputs = why3BuildInputs; } (''
     why3 --config=$out config detect
   '' + (optionalString (cfg.defaultEditor != null) ''
-- 
cgit v1.2.3