# 
# 
# patch "enumerator.cc"
#  from [9cd3afa7ef779cb7b0c53a053a9567b57b59f660]
#    to [4d44bc9c5ab99cd9de00a9cffc3c82bbdaa4c831]
# 
============================================================
--- enumerator.cc	9cd3afa7ef779cb7b0c53a053a9567b57b59f660
+++ enumerator.cc	4d44bc9c5ab99cd9de00a9cffc3c82bbdaa4c831
@@ -185,9 +185,11 @@
               pair<ci,ci> range = graph.equal_range(r);
               for (ci i = range.first; i != range.second; ++i)
                 {
+		  // NB: It is very important to push_front here, not push_back;
+		  // vlog locality should win significantly.
                   if (i->first == r)
                     if (enumerated_nodes.find(i->first) == enumerated_nodes.end())
-                      revs.push_back(i->second);
+                      revs.push_front(i->second);
                 }
             }