# 
# 
# patch "work.cc"
#  from [011b556348e11e62b0a8d08bba3f6675bf293567]
#    to [a6f0e6ce4a8a3a79cfbab60c69132d434a742a25]
# 
============================================================
--- work.cc	011b556348e11e62b0a8d08bba3f6675bf293567
+++ work.cc	a6f0e6ce4a8a3a79cfbab60c69132d434a742a25
@@ -785,13 +785,6 @@
 {
 }
 
-void
-move_path_if_not_already_present(any_path const & old_path,
-                                 any_path const & new_path,
-                                 app_state & app)
-{
-}
-
 static inline bookkeeping_path
 path_for_nid(node_id nid)
 {