comparison make/jprt.properties @ 9012:2979aaac95af

assumptions: enable NoFinalizableSubclass assumption
author Bernhard Urban <bernhard.urban@jku.at>
date Thu, 11 Apr 2013 22:38:53 +0200
parents 3be6a41ad358
children f36e073d56a4
comparison
equal deleted inserted replaced
9011:23762f2438b6 9012:2979aaac95af