Merge pull request #3255 from mtzguido/misc

Small fix + cleanup in Core
FStarLang · Apr 18, 2024 · a80d03c · a80d03c
2 parents 4d759b0 + 358e6b6
commit a80d03c
Show file tree

Hide file tree

Showing 4 changed files with 844 additions and 1,064 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_ToSyntax_ToSyntax.ml b/ocaml/fstar-lib/generated/FStar_ToSyntax_ToSyntax.ml