From 5faf86a5718daf2030d77a8e8e1b321ffb13913d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 1 Feb 2022 19:56:38 +0100
Subject: Make a minor modification to
 ExtractToFStar.extract_type_def_enum_body

---
 src/ExtractToFStar.ml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml
index cd6e7962..dcadb773 100644
--- a/src/ExtractToFStar.ml
+++ b/src/ExtractToFStar.ml
@@ -285,6 +285,10 @@ let extract_type_def_enum_body (ctx : extraction_ctx) (fmt : F.formatter)
         | None -> ctx
         | Some field_name ->
             let var_id = VarId.of_int (FieldId.to_int fid) in
+            let field_name =
+              ctx.fmt.var_basename ctx.names_map.names_set (Some field_name)
+                f.field_ty
+            in
             let ctx, field_name = ctx_add_var field_name var_id ctx in
             F.pp_print_string fmt (field_name ^ " :");
             F.pp_print_space fmt ();
-- 
cgit v1.2.3