Increment ibc version number
commit5aaa39e1c16ec4ce98de6f09f6404436e6ddc40d
authorEdmund Smith <edmund.pd.smith@gmail.com>
dateWed 14 Jun 2017, 21:41 (9 years ago)
parent1122194
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.