Increment IBC version number
commit03496d13bf1bb0165cf882bfff0be8b506cd2717
authorEdmund Smith <edmund.pd.smith@gmail.com>
dateThu 3 Aug 2017, 21:08 (9 years ago)
parent8afc195
src/Idris/IBC.hs+1−1
@@ -48,7 +48,7 @@ import System.Directory
4848import System.FilePath
4949
5050ibcVersion :: Word16
51−ibcVersion = 161
51+ibcVersion = 162
5252
5353-- | When IBC is being loaded - we'll load different things (and omit
5454-- different structures/definitions) depending on which phase we're in.