Merge pull request #3338 from mtzguido/2583

Fix 2583
FStarLang · Jun 30, 2024 · 4712692 · 4712692
2 parents 2ed6d6a + 4d8d940
commit 4712692
Show file tree

Hide file tree

Showing 10 changed files with 496 additions and 324 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Compiler_Debug.ml b/ocaml/fstar-lib/generated/FStar_Compiler_Debug.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Syntax_Unionfind.ml b/ocaml/fstar-lib/generated/FStar_Syntax_Unionfind.ml