diff --git a/SVF-osx/Release-build/bin/ae b/SVF-osx/Release-build/bin/ae
index ce93365e..cf5be2e8 100755
Binary files a/SVF-osx/Release-build/bin/ae and b/SVF-osx/Release-build/bin/ae differ
diff --git a/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h b/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h
index cba9ea99..5e686c50 100644
--- a/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h
+++ b/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h
@@ -358,7 +358,7 @@ class AbstractInterpretation
 
 protected:
     // there data should be shared with subclasses
-    Map<std::string, std::function<void(const CallSite &)>> func_map;
+    Map<std::string, std::function<void(const CallICFGNode*)>> func_map;
     Set<const CallICFGNode*> checkpoints;
     Set<std::string> checkpoint_names;
     Map<const ICFGNode*, AbstractState>
diff --git a/SVF-osx/Release-build/lib/libSvfCore.a b/SVF-osx/Release-build/lib/libSvfCore.a
index 64f51702..b1e777d4 100644
Binary files a/SVF-osx/Release-build/lib/libSvfCore.a and b/SVF-osx/Release-build/lib/libSvfCore.a differ
diff --git a/SVF-osx/Release-build/lib/libSvfLLVM.a b/SVF-osx/Release-build/lib/libSvfLLVM.a
index c7ebf43a..ec3a1eb4 100644
Binary files a/SVF-osx/Release-build/lib/libSvfLLVM.a and b/SVF-osx/Release-build/lib/libSvfLLVM.a differ