diff options
Diffstat (limited to 'src/full/Agda/TypeChecking/Serialise.hs')
-rw-r--r-- | src/full/Agda/TypeChecking/Serialise.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/full/Agda/TypeChecking/Serialise.hs b/src/full/Agda/TypeChecking/Serialise.hs index cbc930f..9f1da5f 100644 --- a/src/full/Agda/TypeChecking/Serialise.hs +++ b/src/full/Agda/TypeChecking/Serialise.hs @@ -10,6 +10,9 @@ -- -!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!- -- NOTE: Every time the interface format is changed the interface -- version number should be bumped _in the same patch_. +-- +-- See 'currentInterfaceVersion' below. +-- -- -!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!-!- module Agda.TypeChecking.Serialise @@ -58,7 +61,7 @@ import Agda.Utils.Except -- 32-bit machines). Word64 does not have these problems. currentInterfaceVersion :: Word64 -currentInterfaceVersion = 20160414 * 10 + 0 +currentInterfaceVersion = 20161119 * 10 + 0 -- | Encodes something. To ensure relocatability file paths in -- positions are replaced with module names. |