From fe5d95e7e3c9dcfef250b71138504d2e8be568e4 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 10 Jul 2022 22:57:44 +0200
Subject: [PATCH] fix: flake.nix

---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flake.nix b/flake.nix
index 96190d0ef4..26f685158d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -41,6 +41,7 @@
         inherit (leanPkgs) lean;
 
         cli = cli.executable;
+      };
 
       defaultPackage = self.packages.${system}.cli;