diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-01-31 11:52:46 -0800 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-01-31 11:52:46 -0800 |
| commit | 45c1dfe5b318dac6641dee439d6498209cae455a (patch) | |
| tree | f746e04a589c6596937aad2aa4a9986667660c25 /src/rt/rust_kernel.cpp | |
| parent | fba35e1a3c87892823d1f4d436b9f00a7864cf16 (diff) | |
| download | rust-45c1dfe5b318dac6641dee439d6498209cae455a.tar.gz rust-45c1dfe5b318dac6641dee439d6498209cae455a.zip | |
Don't compute pre- and postconditions for item_consts
Since item_consts can't refer to or modify local variables, they don't participate in typestate and thus get empty pre and postconditions by default. Closes #1660
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions