diff options
| author | Son Ho | 2022-05-01 13:47:29 +0200 |
|---|---|---|
| committer | Son Ho | 2022-05-01 13:47:29 +0200 |
| commit | 38df7a64b8ad404bc85913b45836e0ba32591c8e (patch) | |
| tree | 17fdb5413a4e331c5a8591f98e141856e56e69b8 /src | |
| parent | 4cdcf221812d80b978cd92601c3353f4356bd550 (diff) | |
Make a minor modification
Diffstat (limited to 'src')
| -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 ")" |