git.iko.soy/Idris-dev
on master help sign in
Increment IBC version
commit2b09cc1f5b4e9b715fe94f2c1f07b79589fdf42b authorEdwin Brady <ecb10@st-andrews.ac.uk> dateMon 18 Feb 2013, 18:43 (14 years ago) parentb35df0d
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -21,7 +21,7 @@ import System.Directory
2121import Paths_idris
2222
2323ibcVersion :: Word8
24−ibcVersion = 25
24+ibcVersion = 26
2525
2626data IBCFile = IBCFile { ver :: Word8,
2727 sourcefile :: FilePath,