From 394d5c95dc20739b1dcea9ed681deee91d7f40f9 Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Fri, 26 Apr 2019 09:46:32 +1000
Subject: [PATCH] whitespace

---
 tools/compare.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/compare.cpp b/tools/compare.cpp
index ca501b6..560b506 100644
--- a/tools/compare.cpp
+++ b/tools/compare.cpp
@@ -253,7 +253,6 @@ int main (int argc, char const **argv)
         );
     }
 
-
     std::clog << "Finalising\n";
     std::size_t matching = 0;
     std::vector<std::size_t> source_bytes (argc - ARGS_SOURCE, 0);