diff make/jprt.properties @ 9031:8e093f170343

fix errorneous handling of ValueAnchorNodes in TailDuplicationPhase
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 11 Apr 2013 18:37:26 +0200
parents 3be6a41ad358
children f36e073d56a4
line wrap: on
line diff