small fix

SVF-tools · Sep 21, 2019 · 878c3b1 · 878c3b1
1 parent c80293c
commit 878c3b1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/lib/MemoryModel/PointerAnalysis.cpp b/lib/MemoryModel/PointerAnalysis.cpp
@@ -361,7 +361,6 @@ void BVDataPTAImpl::writeToFile(const string& filename) {
     }
 
     // Write GepPAGNodes to file
-    NodeID firstGepObjNode = 0;
     for (auto it = pag->begin(), ie = pag->end(); it != ie; ++it) {
         PAGNode* pagNode = it->second;
         if (GepObjPN *gepObjPN = SVFUtil::dyn_cast<GepObjPN>(pagNode)) {