From d02867bb49113033fa6cabdfeb33dd2e5bd025b1 Mon Sep 17 00:00:00 2001
From: "Thing-han, Lim" <15379156+potsrevennil@users.noreply.github.com>
Date: Fri, 28 Jun 2024 14:03:28 +0800
Subject: [PATCH] remove redundant empty lines

Signed-off-by: Thing-han, Lim <15379156+potsrevennil@users.noreply.github.com>
---
 flake.nix | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/flake.nix b/flake.nix
index 896e8e3f7..80104a24d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -42,7 +42,6 @@
               };
             });
 
-
             inherit (pkgs)
               nixpkgs-fmt
               shfmt;
@@ -99,8 +98,6 @@
           devShells.ci = wrapShell pkgs.mkShell { packages = core; };
           devShells.ci-cbmc = wrapShell pkgs.mkShell { packages = (core ++ cbmcpkg); };
           devShells.ci-linter = wrapShell pkgs.mkShellNoCC { packages = linters; };
-
-
         };
       flake = {
         # The usual flake attributes can be defined here, including system-