From 1de9c545069a5c46b6fe244260432bdf9984ddee Mon Sep 17 00:00:00 2001
From: Matus Tejiscak <ziman@functor.sk>
Date: Fri, 22 May 2020 21:07:47 +0200
Subject: [PATCH] Bump ttcVersion.

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

diff --git a/src/Core/Binary.idr b/src/Core/Binary.idr
index c10d211d2..0bd1ded30 100644
--- a/src/Core/Binary.idr
+++ b/src/Core/Binary.idr
@@ -28,7 +28,7 @@ import Data.Buffer
 -- TTC files can only be compatible if the version number is the same
 export
 ttcVersion : Int
-ttcVersion = 28
+ttcVersion = 29
 
 export
 checkTTCVersion : String -> Int -> Int -> Core ()