Minor refactoring and formatting
authordias@cs.tufts.edu <unknown>
Fri, 18 Sep 2009 19:14:17 +0000 (19:14 +0000)
committerdias@cs.tufts.edu <unknown>
Fri, 18 Sep 2009 19:14:17 +0000 (19:14 +0000)
Wrote a generic function to extend dataflow results for safe foreign calls.
Should be able to throw it away when we change the representation of safe foreign calls.


No differences found