From 060ceeb3ea58911fba99e389dd5f3d9cebf94c83 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Wed, 17 Apr 2024 16:42:41 -0700
Subject: [PATCH] snap

---
 ocaml/fstar-lib/generated/FStar_Real_Old.ml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 ocaml/fstar-lib/generated/FStar_Real_Old.ml

diff --git a/ocaml/fstar-lib/generated/FStar_Real_Old.ml b/ocaml/fstar-lib/generated/FStar_Real_Old.ml
new file mode 100644
index 00000000000..364b9563deb
--- /dev/null
+++ b/ocaml/fstar-lib/generated/FStar_Real_Old.ml
@@ -0,0 +1,6 @@
+open Prims
+type real = unit
+
+
+
+