# 
# patch "ChangeLog"
#  from [282cd60c7a29da0fdbe6c1d2b5bd00c34c7ffb4b]
#    to [ca7af199e3ec7cbe2e7333e3a4c107ed23161796]
# 
# patch "change_set.cc"
#  from [f140f4e7b90fcbdcea1eba2ea343c80d248a0830]
#    to [acf229c928d5a98c12d51fae465303b2ab9a1454]
# 
===============================================
--- ChangeLog	282cd60c7a29da0fdbe6c1d2b5bd00c34c7ffb4b
+++ ChangeLog	ca7af199e3ec7cbe2e7333e3a4c107ed23161796
@@ -1,5 +1,10 @@
 2005-07-26  Nathaniel Smith  <address@hidden>
 
+	* change_set.cc (dump): Add state_renumbering dumper.
+	(merge_disjoint_analyses): Add MM().
+
+2005-07-26  Nathaniel Smith  <address@hidden>
+
 	* change_set.cc (dump): Add path_analysis dumper.
 	(merge_change_sets): Add more MM()s.
 
===============================================
--- change_set.cc	f140f4e7b90fcbdcea1eba2ea343c80d248a0830
+++ change_set.cc	acf229c928d5a98c12d51fae465303b2ab9a1454
@@ -308,6 +308,14 @@
   out += tmp;
 }
 
+void
+dump(state_renumbering const & r, std::string & out)
+{
+  for (state_renumbering::const_iterator i = r.begin();
+       i != r.end(); ++i)
+    out += (F("%d -> %d\n") % i->first % i->second).str();
+}
+
 // structure dumping 
 /*
 
@@ -1925,6 +1933,7 @@
   
   path_analysis a_tmp(a), b_tmp(b);
   state_renumbering renumbering;
+  MM(renumbering);
 
   ensure_tids_disjoint(a_tmp, b_tmp);