diff make/jprt.properties @ 6359:f8416485a37f

canonicalize IntegerSwitchNode with only a default successor
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 12 Sep 2012 11:29:34 +0200
parents f7baf26515fc
children d5ec46c7da5c eff5d59db7e1
line wrap: on
line diff