summaryrefslogtreecommitdiff
path: root/src/full/Agda/TypeChecking/Serialise.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/TypeChecking/Serialise.hs')
-rw-r--r--src/full/Agda/TypeChecking/Serialise.hs5
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.