diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ExtractToFStar.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml index f0ec73f5..e9b91c6e 100644 --- a/src/ExtractToFStar.ml +++ b/src/ExtractToFStar.ml @@ -986,7 +986,8 @@ and extract_Abs (ctx : extraction_ctx) (fmt : F.formatter) (inside : bool) extract_typed_lvalue ctx fmt true x) ctx xl in - F.pp_print_string fmt "."; + F.pp_print_space fmt (); + F.pp_print_string fmt "->"; F.pp_print_space fmt (); (* Print the body *) extract_texpression ctx fmt false e; |