From d1c662c1052adec6f14f3ee8a51cecebe4a29ffa Mon Sep 17 00:00:00 2001
From: Daniel Jankowski <daniel.jankowski@rub.de>
Date: Mon, 16 Sep 2024 21:31:33 +0200
Subject: [PATCH] chore: remove non-existing override

---
 flake.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 80e2517..e1f861e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -6,7 +6,6 @@
 
     crane = {
       url = "github:ipetkov/crane";
-      inputs.nixpkgs.follows = "nixpkgs";
     };
 
     flake-utils.url = "github:numtide/flake-utils";