diff --git a/svf/lib/SABER/SrcSnkDDA.cpp b/svf/lib/SABER/SrcSnkDDA.cpp index 3a21bd701..56ba1ecee 100644 --- a/svf/lib/SABER/SrcSnkDDA.cpp +++ b/svf/lib/SABER/SrcSnkDDA.cpp @@ -169,7 +169,7 @@ bool SrcSnkDDA::isInAWrapper(const SVFGNode* src, CallSiteSet& csIdSet) } else if(SVFUtil::isa(edge)) { - if(SVFUtil::isa(succ)) + if(SVFUtil::isa(succ)) { worklist.push(succ); }