clean up points-to-check files properly
authorjjenista <jjenista>
Wed, 11 May 2011 17:40:46 +0000 (17:40 +0000)
committerjjenista <jjenista>
Wed, 11 May 2011 17:40:46 +0000 (17:40 +0000)
commitf2dae2b7a50012d5feab3856cf6f09f54d8679d9
tree94ef87c0f8271ab7689291d5ee924b91e3798b69
parent4724bb9f48056b3d9eaaef1693403bfc8cd3e4a8
clean up points-to-check files properly
Robust/src/Benchmarks/oooJava/master-makefile