diff --git a/ulib/prims.fst b/ulib/prims.fst
index 18130765343..18dd83e24ff 100644
--- 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