From de50efebc2f856c7fb33dfd6aa506bf4c9d224b9 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Wed, 13 Apr 2011 15:46:32 -0700 Subject: rm unused import --- src/comp/middle/typestate_check.rs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/comp/middle') 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; -- cgit v1.2.3