From c70d13bcd11614833875169f641deb215a0eef1e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sat, 29 Jan 2022 21:39:20 +0100
Subject: Make a minor modification

---
 src/PureToExtract.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/PureToExtract.ml b/src/PureToExtract.ml
index 360ef4a6..a5619eae 100644
--- a/src/PureToExtract.ml
+++ b/src/PureToExtract.ml
@@ -349,7 +349,7 @@ let ctx_add_type_def (def : type_def) (ctx : extraction_ctx) :
 
 let ctx_add_field (def : type_def) (field_id : FieldId.id) (field : field)
     (ctx : extraction_ctx) : extraction_ctx * string =
-  let name = ctx.fmt.field_name def.name field.field_name in
+  let name = ctx.fmt.field_name def.name field_id field.field_name in
   let ctx = ctx_add (FieldId (def.def_id, field_id)) name ctx in
   (ctx, name)
 
-- 
cgit v1.2.3