tree 50f14d15cb10030cacb2dd6f2195467f63a1231e
parent 35212650c5c4f203079ab341183ed0e79607b776
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1272984129 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1272984129 +0000

Fix for Bug 311558 -  [ui] labels for guard predicates are not beautified