on master help sign in
bump up ibc version
commit3a0ed327cafde3792330ffc2ac4220a509f6e881 authorzjhmale <zjhmale@gmail.com> dateSun 4 Sep 2016, 19:41 (10 years ago) parent53fae80
1 file changed+1−1
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -49,7 +49,7 @@ import Codec.Archive.Zip
4949import Debug.Trace
5050
5151ibcVersion :: Word16
52−ibcVersion = 148
52+ibcVersion = 149
5353
5454-- | When IBC is being loaded - we'll load different things (and omit
5555-- different structures/definitions) depending on which phase we're in.