comparison make/jprt.properties @ 15666:1b0141150854

Use replaceAtPredecessor rather than predecessor().replaceFirstSuccessor in DeoptimizationGroupingPhase
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 15 May 2014 16:45:08 +0200
parents f0221ff14605
children 3ef5c627634a
comparison
equal deleted inserted replaced
15665:4ead444b15aa 15666:1b0141150854