From 24fe2fc639791c2c0ab07a0b40cb67843b2ff818 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Wed, 19 Jul 2023 08:09:50 -0700
Subject: [PATCH] snap

---
 ocaml/fstar-lib/generated/FStar_CheckedFiles.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ;