on master help sign in
Increment IBC

This isn't strictly necessary since there's no format change, but there has been a huge library renaming including some internal things, and some things may end up stale by mistake (it just happened to me) so it's mostly defensive, to prevent any confusing errors...

commit56c216d71c2926192ee4a0ede92f3cc3ca4413b8 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateTue 14 Oct 2014, 11:33 (12 years ago) parent76103c0
1 file changed+1−1
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -32,7 +32,7 @@ import Codec.Compression.Zlib (compress)
3232import Util.Zlib (decompressEither)
3333
3434ibcVersion :: Word8
35−ibcVersion = 82
35+ibcVersion = 83
3636
3737data IBCFile = IBCFile { ver :: Word8,
3838 sourcefile :: FilePath,