---

catamorphism · graydon · commit 2b1f05537b4d · 2011-04-13T15:50:34.000-07:00
yaml --- r: 2095 b: refs/heads/master c: de50efe h: refs/heads/master i: 2093: 85b93de 2091: e83f0e0 2087: 6a29f41 2079: 5a5f8df v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 7c6e6fc5d49127e868a8323e0619c9c7597b5b18
+refs/heads/master: de50efebc2f856c7fb33dfd6aa506bf4c9d224b9
diff --git a/trunk/src/comp/middle/typestate_check.rs b/trunk/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;

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 7c6e6fc5d49127e868a8323e0619c9c7597b5b18`
	`2`	`+refs/heads/master: de50efebc2f856c7fb33dfd6aa506bf4c9d224b9`