From fd4f404a612b92c0b1634b2b9d3a4bbb208eecc6 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Mon, 6 Dec 2021 22:32:19 +0100
Subject: import the why3 module

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

(limited to 'modules/default.nix')

diff --git a/modules/default.nix b/modules/default.nix
index fbe500d..81cbb5c 100644
--- a/modules/default.nix
+++ b/modules/default.nix
@@ -4,7 +4,7 @@ with lib;
 let cfg = config;
 in {
   imports =
-    [ ./coq.nix ./golang.nix ./latex.nix ./nix.nix ./python.nix ./ocaml.nix ];
+    [ ./coq.nix ./golang.nix ./latex.nix ./nix.nix ./python.nix ./ocaml.nix ./why3.nix ];
 
   options = {
     # Inputs
-- 
cgit v1.2.3