diff --git a/SVF-linux/Release-build/bin/ae b/SVF-linux/Release-build/bin/ae
index ffd07bdf..2274def9 100755
Binary files a/SVF-linux/Release-build/bin/ae and b/SVF-linux/Release-build/bin/ae differ
diff --git a/SVF-linux/Release-build/bin/svf-ex b/SVF-linux/Release-build/bin/svf-ex
index 22639d39..fd5690c3 100755
Binary files a/SVF-linux/Release-build/bin/svf-ex and b/SVF-linux/Release-build/bin/svf-ex differ
diff --git a/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h b/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h
index 6bb7f5e9..e15b2ad7 100644
--- a/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h
+++ b/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h
@@ -96,10 +96,8 @@ class SVFIR2AbsState
 
 
     /// Init ObjVar
-    void initObjVar(AbstractState& es, const ObjVar *objVar, u32_t varId);
+    void initObjVar(AbstractState& as, const ObjVar* var);
 
-    /// Init SVFVar
-    void initSVFVar(AbstractState& es, u32_t varId);
 
     inline AbstractValue &getAddrs(AbstractState& es, u32_t id)
     {
diff --git a/SVF-linux/Release-build/lib/libSvfCore.a b/SVF-linux/Release-build/lib/libSvfCore.a
index f0eba4ea..5b217c49 100644
Binary files a/SVF-linux/Release-build/lib/libSvfCore.a and b/SVF-linux/Release-build/lib/libSvfCore.a differ