git.iko.soy/Idris-dev
on master help sign in
Increment IBC version
commit680dcf72b42187504c216b28d58116bb3d3cbe94 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 8 Aug 2013, 11:09 (13 years ago) parentd43a279
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -24,7 +24,7 @@ import Debug.Trace
2424import Paths_idris
2525
2626ibcVersion :: Word8
27−ibcVersion = 32
27+ibcVersion = 33
2828
2929data IBCFile = IBCFile { ver :: Word8,
3030 sourcefile :: FilePath,