From 38df7a64b8ad404bc85913b45836e0ba32591c8e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 1 May 2022 13:47:29 +0200
Subject: Make a minor modification

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

(limited to 'src')

diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml
index 8134144a..5597eed1 100644
--- a/src/ExtractToFStar.ml
+++ b/src/ExtractToFStar.ml
@@ -976,7 +976,7 @@ and extract_adt_cons (ctx : extraction_ctx) (fmt : F.formatter) (inside : bool)
       Collections.List.iter
         (fun v ->
           F.pp_print_space fmt ();
-          extract_texpression ctx fmt false v)
+          extract_texpression ctx fmt true v)
         args;
       if use_parentheses then F.pp_print_string fmt ")"
 
-- 
cgit v1.2.3