---

catamorphism · catamorphism · commit 52f8085983a7 · 2011-06-27T18:14:23.000-07:00
yaml --- r: 3389 b: refs/heads/master c: 6d1050b h: refs/heads/master i: 3387: bab186b v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: a72481f90ba8a7b48e4405c9862d0861032a528a
+refs/heads/master: 6d1050b1c7c8f5075aaaf6b922ff36f3aceef5e2
diff --git a/trunk/src/comp/middle/tstate/auxiliary.rs b/trunk/src/comp/middle/tstate/auxiliary.rs
@@ -436,8 +436,8 @@ fn set_postcond_false(&crate_ctxt ccx, node_id id) {
 }
 
 fn pure_exp(&crate_ctxt ccx, node_id id, &prestate p) -> bool {
-    ret extend_prestate_ann(ccx, id, p) |
-        extend_poststate_ann(ccx, id, p);
+    ret set_prestate_ann(ccx, id, p) |
+        set_poststate_ann(ccx, id, p);
 }
 
 fn num_constraints(fn_info m) -> uint { ret m.num_constraints; }

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: a72481f90ba8a7b48e4405c9862d0861032a528a`
	`2`	`+refs/heads/master: 6d1050b1c7c8f5075aaaf6b922ff36f3aceef5e2`
Original file line number	Diff line number	Diff line change
`@@ -436,8 +436,8 @@ fn set_postcond_false(&crate_ctxt ccx, node_id id) {`
`436`	`436`	`}`
`437`	`437`
`438`	`438`	`fn pure_exp(&crate_ctxt ccx, node_id id, &prestate p) -> bool {`
`439`		`- ret extend_prestate_ann(ccx, id, p) \|`
`440`		`- extend_poststate_ann(ccx, id, p);`
	`439`	`+ ret set_prestate_ann(ccx, id, p) \|`
	`440`	`+ set_poststate_ann(ccx, id, p);`
`441`	`441`	`}`
`442`	`442`
`443`	`443`	`fn num_constraints(fn_info m) -> uint { ret m.num_constraints; }`