On Mon, 2003-05-26 at 16:23, Daniel Berlin wrote: > Queries to PTA should be about a pointer and a variable, not a pointer and > a fake variable. > OK. We can easily avoid that query. When asking for the pair <p, MT.x> we should really ask for the pair <p, q> (assuming MT.x is q's memory tag). Or something along those lines. Diego.