From 240088dc482473236415e208a4be446e22dbc24c Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Mon, 6 Dec 2021 22:35:26 +0100
Subject: apply nix-format

---
 modules/why3.nix | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'modules/why3.nix')

diff --git a/modules/why3.nix b/modules/why3.nix
index b7adf6e..cd986d1 100644
--- a/modules/why3.nix
+++ b/modules/why3.nix
@@ -4,11 +4,10 @@ with lib;
 let
   cfg = config.why3;
   why3BuildInputs = [ cfg.package ] ++ cfg.provers;
-  why3Conf = pkgs.runCommand "why3.conf" { buildInputs = why3BuildInputs; }
-    ''
+  why3Conf = pkgs.runCommand "why3.conf" { buildInputs = why3BuildInputs; } ''
     why3 -C $out config detect
     echo "${cfg.extraConfig}" >> $out
-    '';
+  '';
   why3Flags = concatStringsSep " " [ "--extra-config ${why3Conf}" ];
 in {
   options.why3 = {
-- 
cgit v1.2.3