]> git.lizzy.rs Git - rust.git/commit
Change bitvectors::relax_precond_block to use visit instead of walk
authorTim Chevalier <chevalier@alum.wellesley.edu>
Sun, 31 Jul 2011 06:57:59 +0000 (23:57 -0700)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Sun, 31 Jul 2011 07:06:25 +0000 (00:06 -0700)
commit28f7c6af2431c052ef9692130511c38ac69b3ba5
tree989be412aa8e59f5649078d43a8c269ec4ddf622
parentd552a0b95985f91278b2f3c05ee2c4b558a0a417
Change bitvectors::relax_precond_block to use visit instead of walk
src/comp/middle/tstate/bitvectors.rs