diff options
Diffstat (limited to 'src/comp/middle')
| -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; |