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
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,