diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-04-13 15:46:32 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2011-04-13 15:50:34 -0700 |
| commit | de50efebc2f856c7fb33dfd6aa506bf4c9d224b9 (patch) | |
| tree | 47f41f5bb27973a63408e313f8c8958f5813fa56 /src | |
| parent | 7c6e6fc5d49127e868a8323e0619c9c7597b5b18 (diff) | |
| download | rust-de50efebc2f856c7fb33dfd6aa506bf4c9d224b9.tar.gz rust-de50efebc2f856c7fb33dfd6aa506bf4c9d224b9.zip | |
rm unused import
Diffstat (limited to 'src')
| -rw-r--r-- | src/comp/middle/typestate_check.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/comp/middle/typestate_check.rs b/src/comp/middle/typestate_check.rs index e9c366c5368..9bc82f003fb 100644 --- a/src/comp/middle/typestate_check.rs +++ b/src/comp/middle/typestate_check.rs @@ -73,7 +73,6 @@ import util.common.uistr; import util.common.elt_exprs; import util.common.field_exprs; import util.common.log_expr; -import util.common.lift; import util.typestate_ann; import util.typestate_ann.ts_ann; import util.typestate_ann.empty_pre_post; |