Increment IBC (due to clash with earlier commit)
commit16f7da4e5f77ff583c97a706cf19ee034b5ea212
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 11 Apr 2014, 12:03 (13 years ago)
parent6c3d33c
src/Idris/IBC.hs+1−1
@@ -30,7 +30,7 @@ import Codec.Compression.Zlib (compress)
3030import Util.Zlib (decompressEither)
3131
3232ibcVersion :: Word8
33−ibcVersion = 66
33+ibcVersion = 67
3434
3535data IBCFile = IBCFile { ver :: Word8,
3636 sourcefile :: FilePath,