on master help sign in
bump ibcVersion

@ziman @melted

commit7b7aa3974d1e0c39d7d75b8fce79547bfd9569b5 authorBelleve Invis <belleve@typeof.net> dateMon 26 Jun 2017, 12:29 (9 years ago) parent9d6855e
1 file changed+1−1
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -47,7 +47,7 @@ import System.Directory
4747import System.FilePath
4848
4949ibcVersion :: Word16
50−ibcVersion = 160
50+ibcVersion = 161
5151
5252-- | When IBC is being loaded - we'll load different things (and omit
5353-- different structures/definitions) depending on which phase we're in.