Add missing paren in stat print.

SVF-tools · May 11, 2016 · 5fdb243 · 5fdb243
1 parent d0ef3d0
commit 5fdb243
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());
                 }
             }