remove redundant empty lines

Signed-off-by: Thing-han, Lim <[email protected]>
pq-code-package · Jun 28, 2024 · d02867b · d02867b
1 parent d894342
commit d02867b
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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-