Bump checked file version

Commit 6296e18 introduced a format change in the tc environment. Elements of this type can be embedded in terms, so we need to bump this version.
FStarLang · Jul 19, 2023 · cc28170 · cc28170
1 parent 59a320f
commit cc28170
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/fstar/FStar.CheckedFiles.fst b/src/fstar/FStar.CheckedFiles.fst
@@ -40,7 +40,7 @@ module Dep     = FStar.Parser.Dep
  * detect when loading the cache that the version number is same
  * It needs to be kept in sync with prims.fst
  *)
-let cache_version_number = 56
+let cache_version_number = 57
 
 (*
  * Abbreviation for what we store in the checked files (stages as described below)

diff --git a/ulib/prims.fst b/ulib/prims.fst
@@ -708,4 +708,4 @@ val string_of_int: int -> Tot string
 (** THIS IS MEANT TO BE KEPT IN SYNC WITH FStar.CheckedFiles.fs
     Incrementing this forces all .checked files to be invalidated *)
 irreducible
-let __cache_version_number__ = 56
+let __cache_version_number__ = 57