From 65291c9a9e57ca6ee06e2c495247b11dd75e83ed Mon Sep 17 00:00:00 2001
From: Zoe Stafford <zoepolarsax@gmail.com>
Date: Sun, 9 Feb 2025 10:51:56 +0000
Subject: [PATCH] Remove blank line I accidently added when resolving merge
 conflict

---
 src/Core/Binary.idr | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Core/Binary.idr b/src/Core/Binary.idr
index 2b5bed6a85..ce9125756a 100644
--- a/src/Core/Binary.idr
+++ b/src/Core/Binary.idr
@@ -31,7 +31,6 @@ export
 ttcVersion : Int
 ttcVersion = 2025_02_09_00
 
-
 export
 checkTTCVersion : String -> Int -> Int -> Core ()
 checkTTCVersion file ver exp