diff --git a/ocaml/fstar-lib/generated/FStar_CheckedFiles.ml b/ocaml/fstar-lib/generated/FStar_CheckedFiles.ml
index aaba7e12fdb..625b00d480c 100644
--- a/ocaml/fstar-lib/generated/FStar_CheckedFiles.ml
+++ b/ocaml/fstar-lib/generated/FStar_CheckedFiles.ml
@@ -1,5 +1,5 @@
 open Prims
-let (cache_version_number : Prims.int) = (Prims.of_int (56))
+let (cache_version_number : Prims.int) = (Prims.of_int (57))
 type tc_result =
   {
   checked_module: FStar_Syntax_Syntax.modul ;