Revision 546f5be744781e77c2387d98e6ec9e15422b998d

Committed on 10/10/2013 6:59 am by xrow <bjoern@xrow.de> [GitHub Diff]

added case for namedoperator is a node