From 122dc6bfe7075fef7389c716ba2cc1aa7ed2fe02 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 27 Apr 2022 15:55:36 +0200
Subject: Fix a minor issue

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

(limited to 'src')

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;
-- 
cgit v1.2.3