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