---

graydon · graydon · commit 52e07bebce0b · 2011-05-16T19:21:29.000-07:00
yaml --- r: 2578 b: refs/heads/master c: 4c5e315 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cc27e0f8c6d93f3deae8ff8785d0ab3348d73c5e
+refs/heads/master: 4c5e315843b1499a8acd93a149350e2ccca9e474
diff --git a/trunk/src/comp/middle/tstate/auxiliary.rs b/trunk/src/comp/middle/tstate/auxiliary.rs
diff --git a/trunk/src/comp/rustc.rc b/trunk/src/comp/rustc.rc
@@ -18,18 +18,17 @@ mod middle {
     mod metadata;
     mod resolve;
     mod typeck;
-    
+
     mod tstate {
         mod ck;
         mod annotate;
-        mod aux;
+        mod aux = "auxiliary.rs";
         mod bitvectors;
         mod collect_locals;
         mod pre_post_conditions;
         mod states;
         mod ann;
     }
-    
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: cc27e0f8c6d93f3deae8ff8785d0ab3348d73c5e`
	`2`	`+refs/heads/master: 4c5e315843b1499a8acd93a149350e2ccca9e474`