#
#
# patch "paths.cc"
#  from [31d036c73acc2e8580797e85cda1f41c70f4d80c]
#    to [b548fcd2db7732e8d12794bea28bfa5dc372e23d]
# 
# patch "paths.hh"
#  from [7cdacf2509ae5f46de2d98d009cc609ac901419a]
#    to [18196072606ac6a481552234fa9c6329a78b6ac2]
#
============================================================
--- paths.cc	31d036c73acc2e8580797e85cda1f41c70f4d80c
+++ paths.cc	b548fcd2db7732e8d12794bea28bfa5dc372e23d
@@ -445,18 +445,6 @@ file_path::split(split_path & sp) const
     }
 }
 
-void
-split_paths(std::vector<file_path> const & file_paths, path_set & split_paths)
-{
-  for (vector<file_path>::const_iterator i = file_paths.begin();
-       i != file_paths.end(); ++i)
-    {
-      split_path sp;
-      i->split(sp);
-      split_paths.insert(sp);
-    }
-}
-
 template <>
 void dump(split_path const & sp, string & out)
 {
============================================================
--- paths.hh	7cdacf2509ae5f46de2d98d009cc609ac901419a
+++ paths.hh	18196072606ac6a481552234fa9c6329a78b6ac2
@@ -275,9 +275,6 @@ typedef std::set<split_path> path_set;
 
 typedef std::set<split_path> path_set;
 
-void
-split_paths(std::vector<file_path> const & file_paths, path_set & split_paths);
-
 // equivalent to file_path_internal(path).split(sp) but more efficient.
 void
 internal_string_to_split_path(std::string const & path, split_path & sp);