bug fix
authorbdemsky <bdemsky>
Wed, 23 Mar 2011 09:43:45 +0000 (09:43 +0000)
committerbdemsky <bdemsky>
Wed, 23 Mar 2011 09:43:45 +0000 (09:43 +0000)
commit83073aa19a4332a18f9a57403f569a087f2caa1c
tree6ef136d92daef6d67153fe9a76c74ef0d6a6bf8c
parent8893786494ab3c22168f2b9326bb496424545d42
bug fix
Robust/src/Analysis/Pointer/Edge.java
Robust/src/Analysis/Pointer/Pointer.java