#
#
# patch "migrate_ancestry.cc"
#  from [3517404181ec8bc9e3e080aebbe5ef0933967837]
#    to [a184a51cd6654f3386329793acb81321e85816b7]
#
============================================================
--- migrate_ancestry.cc	3517404181ec8bc9e3e080aebbe5ef0933967837
+++ migrate_ancestry.cc	a184a51cd6654f3386329793acb81321e85816b7
@@ -1084,7 +1084,7 @@ regenerate_file_sizes(database & db)
 static void
 regenerate_file_sizes(database & db)
 {
-  P(F("regenerating cached file sizes for revivisions"));
+  P(F("regenerating cached file sizes for revisions"));
   db.ensure_open_for_cache_reset();
 
   {