git.iko.soy/Idris-dev
on master help sign in
Update IBC version
commitcbccdd0bb003d2594644f567117e7da84dc7fbe6 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 12 Dec 2013, 10:22 (13 years ago) parentdccddd2
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -23,7 +23,7 @@ import Debug.Trace
2323import Paths_idris
2424
2525ibcVersion :: Word8
26−ibcVersion = 47
26+ibcVersion = 48
2727
2828data IBCFile = IBCFile { ver :: Word8,
2929 sourcefile :: FilePath,