Merge pull request #3007 from FStarLang/msprotz-patch-2

Fix extraction of character constants
FStarLang · Aug 7, 2023 · 6f66342 · 6f66342
2 parents f3f8c2a + 51a345f
commit 6f66342
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Extraction_Krml.ml b/ocaml/fstar-lib/generated/FStar_Extraction_Krml.ml
diff --git a/src/extraction/FStar.Extraction.Krml.fst b/src/extraction/FStar.Extraction.Krml.fst
@@ -1094,7 +1094,7 @@ and translate_constant c: expr =
   | MLC_Char c ->
       let i = BU.int_of_char c in
       let s = BU.string_of_int i in
-      let c = EConstant (UInt32, s) in
+      let c = EConstant (CInt, s) in
       let char_of_int = EQualified (["FStar"; "Char"], "char_of_int") in
       EApp(char_of_int, [c])
   | MLC_Int (s, Some (sg, wd)) ->