git.iko.soy/Idris-dev
on master help sign in
Increment IBC version number
03496d1Edmund Smith
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -48,7 +48,7 @@ import System.Directory
48import System.FilePath
48import System.FilePath
49
49
50ibcVersion :: Word16
50ibcVersion :: Word16
51−ibcVersion = 161
51+ibcVersion = 162
52
52
53-- | When IBC is being loaded - we'll load different things (and omit
53-- | When IBC is being loaded - we'll load different things (and omit
54-- different structures/definitions) depending on which phase we're in.
54-- different structures/definitions) depending on which phase we're in.