on master help sign in
stylize
commit0e3922b13f70709e5c537d5542a55d680043e6bd authorbe5invis <belleve@typeof.net> dateWed 26 Jul 2017, 15:35 (9 years ago) parent7b7aa39
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 = 161
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.