diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-05-18 16:59:34 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2011-05-19 11:40:16 -0700 |
| commit | c0f728712ba018ae0a3993232bf5b259e0c312ad (patch) | |
| tree | 6c223ab27d6b5703d4188e31b4a7faa41c7b0924 /src/rt/rust_kernel.cpp | |
| parent | 2cd769e35898df0a84c797c610748a59034a9b93 (diff) | |
| download | rust-c0f728712ba018ae0a3993232bf5b259e0c312ad.tar.gz rust-c0f728712ba018ae0a3993232bf5b259e0c312ad.zip | |
Rewrite pre_postconditions to use walk instead of fold
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions