Remove unused, undefined method TDB2::dump (GothenburgBitFactory#3754)

Author: djmitche

src/TDB2.cpp

@@ -450,11 +450,6 @@ int TDB2::num_local_changes() { return (int)replica()->num_local_operations(); }
 ////////////////////////////////////////////////////////////////////////////////
 int TDB2::num_reverts_possible() { return (int)replica()->num_undo_points(); }
 
-////////////////////////////////////////////////////////////////////////////////
-void TDB2::dump() {
-  // TODO
-}
-
 ////////////////////////////////////////////////////////////////////////////////
 // For any task that has depenencies, follow the chain of dependencies until the
 // end.  Along the way, update the Task::is_blocked and Task::is_blocking data

src/TDB2.h

@@ -72,8 +72,6 @@ class TDB2 {
   int num_local_changes();
   int num_reverts_possible();
 
-  void dump();
-
   rust::Box<tc::Replica> &replica();
 
  private: