git.iko.soy/Idris-dev
on master help sign in
bump up ibc version
3a0ed32zjhmale
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -49,7 +49,7 @@ import Codec.Archive.Zip
49import Debug.Trace
49import Debug.Trace
50
50
51ibcVersion :: Word16
51ibcVersion :: Word16
52−ibcVersion = 148
52+ibcVersion = 149
53
53
54-- | When IBC is being loaded - we'll load different things (and omit
54-- | When IBC is being loaded - we'll load different things (and omit
55-- different structures/definitions) depending on which phase we're in.
55-- different structures/definitions) depending on which phase we're in.