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
+
+
+
+