Increment TTC version

edwinb · edwinb · commit f6919afef192 · 2021-05-19T17:13:51.000+01:00
diff --git a/src/Core/Binary.idr b/src/Core/Binary.idr
@@ -33,7 +33,7 @@ import Data.Buffer
 -- TTC files can only be compatible if the version number is the same
 export
 ttcVersion : Int
-ttcVersion = 53
+ttcVersion = 54
 
 export
 checkTTCVersion : String -> Int -> Int -> Core ()
