diff options
| author | Tim Chevalier <[email protected]> | 2011-04-13 15:46:32 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-04-13 15:50:34 -0700 |
| commit | de50efebc2f856c7fb33dfd6aa506bf4c9d224b9 (patch) | |
| tree | 47f41f5bb27973a63408e313f8c8958f5813fa56 /src/comp | |
| parent | Make expr_while work in typestate_check (diff) | |
| download | rust-de50efebc2f856c7fb33dfd6aa506bf4c9d224b9.tar.xz rust-de50efebc2f856c7fb33dfd6aa506bf4c9d224b9.zip | |
rm unused import
Diffstat (limited to 'src/comp')
| -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 e9c366c5..9bc82f00 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; |