From ba48bca05e97c8f71713c7ce972f70c521da7bfd Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 24 Feb 2022 01:56:27 +0100
Subject: Update the way function names are handled

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

(limited to 'src/CfimAst.ml')

diff --git a/src/CfimAst.ml b/src/CfimAst.ml
index 6716c793..ab7bcb4a 100644
--- a/src/CfimAst.ml
+++ b/src/CfimAst.ml
@@ -171,7 +171,7 @@ and switch_targets =
 
 type fun_def = {
   def_id : FunDefId.id;
-  name : name;
+  name : fun_name;
   signature : fun_sig;
   arg_count : int;
   locals : var list;
-- 
cgit v1.2.3