From 79af7f999e3a41e3c5f9a30819a7cc43b5397c56 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sat, 29 Jan 2022 20:30:16 +0100
Subject: Make the field names optional and make progress on ExtractToFStar

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

(limited to 'src/Pure.ml')

diff --git a/src/Pure.ml b/src/Pure.ml
index 139b4c58..53c053b0 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -100,7 +100,7 @@ type ty =
         polymorphic = false;
       }]
 
-type field = { field_name : string; field_ty : ty } [@@deriving show]
+type field = { field_name : string option; field_ty : ty } [@@deriving show]
 
 type variant = { variant_name : string; fields : field list } [@@deriving show]
 
-- 
cgit v1.2.3