Merge pull request #3389 from mtzguido/bump_checked

prims: bump checked file version
FStarLang · Aug 20, 2024 · 2743fc9 · 2743fc9
2 parents a52555f + d92125f
commit 2743fc9
Showing 1 changed file with 1 addition and 1 deletion.
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__ = 67
+let __cache_version_number__ = 68