Merge pull request #3 from dtzWill/minor-stat-print-fix-missing-paren

Add missing paren in stat print.
SVF-tools · May 12, 2016 · b05457b · b05457b
2 parents d0ef3d0 + 5fdb243
commit b05457b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/WPA/AndersenStat.cpp b/lib/WPA/AndersenStat.cpp
@@ -124,7 +124,7 @@ void AndersenStat::statNullPtr() {
                 }
                 else {
                     _NumOfNullPtr++;
-                    rawstr << "##Null Pointer : (NodeID " << pagNode->getId();
+                    rawstr << "##Null Pointer : (NodeID " << pagNode->getId() << ")";
                     wrnMsg(rawstr.str());
                 }
             }