From 22fc7d710176598fcf315e3aed77cbd14b9f8e22 Mon Sep 17 00:00:00 2001
From: canliture <canliture@outlook.com>
Date: Wed, 23 Aug 2023 11:47:59 +0800
Subject: [PATCH] use 'FRet', instead of useless enum field 'FunRet'

---
 svf/include/Graphs/VFGNode.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/svf/include/Graphs/VFGNode.h b/svf/include/Graphs/VFGNode.h
index 2d88dd670..83d002ae3 100644
--- a/svf/include/Graphs/VFGNode.h
+++ b/svf/include/Graphs/VFGNode.h
@@ -47,13 +47,13 @@ class VFGNode : public GenericVFGNodeTy
 {
 
 public:
-    /// 24 kinds of ICFG node
+    /// 25 kinds of ICFG node
     /// Gep represents offset edge for field sensitivity
     enum VFGNodeK
     {
         Addr, Copy, Gep, Store, Load, Cmp, BinaryOp, UnaryOp, Branch, TPhi, TIntraPhi, TInterPhi,
         MPhi, MIntraPhi, MInterPhi, FRet, ARet, AParm, FParm,
-        FunRet, APIN, APOUT, FPIN, FPOUT, NPtr, DummyVProp
+        APIN, APOUT, FPIN, FPOUT, NPtr, DummyVProp
     };
 
     typedef VFGEdge::VFGEdgeSetTy::iterator iterator;