---

graydon · graydon · commit fcd33b3adb67 · 2010-07-26T12:31:43.000-07:00
yaml --- r: 373 b: refs/heads/master c: ec5efd2 h: refs/heads/master i: 371: 99bac72 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: c4897f849c1266506cfbd42a1c53c2866a7b4a1e
+refs/heads/master: ec5efd25778e64ca273edd650d7606675aaba208
diff --git a/trunk/src/boot/me/typestate.ml b/trunk/src/boot/me/typestate.ml
@@ -1220,7 +1220,8 @@ let process_crate
   in
   let log_flag = cx.ctxt_sess.Session.sess_log_typestate in
     run_passes cx "typestate setup" path setup_passes log_flag log crate;
-    run_dataflow cx constr_id graph;
+    Session.time_inner "typestate dataflow" cx.ctxt_sess
+      (fun _ -> run_dataflow cx constr_id graph);
     run_passes cx "typestate verify" path verify_passes log_flag log crate;
     run_passes cx "typestate aux" path aux_passes log_flag log crate
 ;;

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: c4897f849c1266506cfbd42a1c53c2866a7b4a1e`
	`2`	`+refs/heads/master: ec5efd25778e64ca273edd650d7606675aaba208`