ignore elements with no local name

goblint · Jun 18, 2014 · 1c771d7 · 1c771d7
1 parent 2dd417c
commit 1c771d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/g2html/Loc.java b/src/g2html/Loc.java
@@ -48,7 +48,7 @@ static public void parseLocNode(XMLStreamReader parser, Result res, ResultStats
 		while(readcc.hasNext()){
 			int eventType = readcc.getEventType();
 			// add function name to the loc xml-node
-			if (eventType==XMLStreamConstants.START_ELEMENT && readcc.getLocalName()=="loc"){
+			if (eventType==XMLStreamConstants.START_ELEMENT && readcc.getLocalName() != null && readcc.getLocalName().equals("loc")){
 				String funName = fileStats.getNodeFun(id);
 				if (null==funName) {
 					lostAndFound.append(id+"\n");