From 33261269a5264b416a0d8d87b9622345c40f2895 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 7 Feb 2022 17:05:34 +0100
Subject: Make a minor modification to account a change in function namings
 from Charon

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

(limited to 'src')

diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml
index 1d45b239..5d772c04 100644
--- a/src/ExtractToFStar.ml
+++ b/src/ExtractToFStar.ml
@@ -235,7 +235,7 @@ let mk_formatter (ctx : trans_ctx) (variant_concatenate_type_name : bool) :
    *)
   let get_fun_name (name : name) : string =
     match name with
-    | [ name ] -> name
+    | [ _module; name ] -> name
     | _ -> failwith ("Unexpected name shape: " ^ Print.name_to_string name)
   in
   let fun_name (_fid : A.fun_id) (fname : name) (num_rgs : int)
-- 
cgit v1.2.3