snap

FStarLang · Oct 23, 2021 · 49b166a · 49b166a
1 parent 49dac2f
commit 49b166a
Showing 1 changed file with 13 additions and 12 deletions.
diff --git a/src/ocaml-output/FStar_Extraction_Kremlin.ml b/src/ocaml-output/FStar_Extraction_Kremlin.ml