snap (2)

mtzguido · Jan 24, 2024 · 4af2f1e · 4af2f1e
1 parent c510d1c
commit 4af2f1e
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 12 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Int128.ml b/ocaml/fstar-lib/generated/FStar_Int128.ml
diff --git a/ocaml/fstar-lib/generated/FStar_UInt128.ml b/ocaml/fstar-lib/generated/FStar_UInt128.ml