When checking PhiM's, ignore Bad predecessors
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 28 Jun 2006 15:19:17 +0000 (15:19 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 28 Jun 2006 15:19:17 +0000 (15:19 +0000)
[r7961]


No differences found