diff options
Diffstat (limited to '')
| -rw-r--r-- | src/ExtractToFStar.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 ")" |