Bump IBC version after removing `%elim` items
commit507a7312f08f1ed17d92616513d506868c7bb5f2
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateMon 26 Feb 2018, 09:41 (9 years ago)
parentcc7ef9a
src/Idris/IBC.hs+1−1
@@ -40,7 +40,7 @@ import System.Directory
4040import System.FilePath
4141
4242ibcVersion :: Word16
43−ibcVersion = 164
43+ibcVersion = 165
4444
4545-- | When IBC is being loaded - we'll load different things (and omit
4646-- different structures/definitions) depending on which phase we're in.