diff make/jprt.properties @ 17409:4c0dcd164718

Truffle: fix potential null dereference error in partial evaluator.
author Christian Humer <christian.humer@gmail.com>
date Fri, 10 Oct 2014 10:54:11 +0200
parents f0221ff14605
children 3ef5c627634a
line wrap: on
line diff