[Soot-list] access to original variable names

[Patrick LAM]

On Fri, 17 Jun 2005, Jasen Carrol wrote:

> I can't seem to find the API call. Could you tell me
> what class it's in? Thanks.

It should look something like:

PhaseOptions.v().getPM().get("jb").put("use-original-names", "true")

pat