From 8e3be66093318a4a31419ae5018f9d413d756cd5 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 10 Feb 2022 10:31:37 +0100
Subject: Make slight improvements to formatting

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

diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml
index ccce4e1a..cca2b22c 100644
--- a/src/ExtractToFStar.ml
+++ b/src/ExtractToFStar.ml
@@ -1087,12 +1087,12 @@ let extract_fun_def (ctx : extraction_ctx) (fmt : F.formatter)
    * the bindings we introduced above.
    * TODO: figure out a cleaner way *)
   let _ =
+    F.pp_print_space fmt ();
+    F.pp_print_string fmt ":";
     F.pp_print_space fmt ();
     (* Open a box for the return type *)
     F.pp_open_hovbox fmt 0;
     (* Print the return type *)
-    F.pp_print_string fmt ":";
-    F.pp_print_space fmt ();
     (* `Tot` *)
     if has_decreases_clause then (
       F.pp_print_string fmt "Tot";
-- 
cgit v1.2.3