rm unneeded null ptr check (Coverity)

This commit is contained in:
Terence Parr 2013-08-31 16:37:16 -07:00
parent 1febc36e15
commit 21248a42ca
1 changed files with 1 additions and 2 deletions

View File

@ -111,8 +111,7 @@ public class ATNPrinter {
}
else if ( t instanceof AtomTransition ) {
AtomTransition a = (AtomTransition)t;
String label = a.toString();
if ( g!=null ) label = g.getTokenDisplayName(a.label);
String label = g.getTokenDisplayName(a.label);
buf.append("-").append(label).append("->").append(getStateString(t.target)).append('\n');
}
else {