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 9d96d058..4ef40d8b 100644 --- a/src/ExtractToFStar.ml +++ b/src/ExtractToFStar.ml @@ -899,7 +899,7 @@ let rec extract_texpression (ctx : extraction_ctx) (fmt : F.formatter) let _ = extract_typed_rvalue ctx fmt inside rv in if not inner then F.pp_close_box fmt (); () - | Call call -> ( + | App call -> ( match (call.func, call.args) with | Unop unop, [ arg ] -> ctx.fmt.extract_unop |