diff --git a/src/text.cpp b/src/text.cpp
index 0c859aeab..ccd151410 100644
--- a/src/text.cpp
+++ b/src/text.cpp
@@ -363,17 +363,3 @@ const std::string obfuscateText (const std::string& input)
 }
 
 ////////////////////////////////////////////////////////////////////////////////
-void replace_positional (
-  std::string& fmt,
-  const std::string& from,
-  const std::string& to)
-{
-  std::string::size_type pos = 0;
-  while ((pos = fmt.find (from, pos)) != std::string::npos)
-  {
-    fmt.replace (pos, from.length (), to);
-    pos += to.length ();
-  }
-}
-
-////////////////////////////////////////////////////////////////////////////////
diff --git a/src/text.h b/src/text.h
index dcefa7189..b1dfef035 100644
--- a/src/text.h
+++ b/src/text.h
@@ -46,7 +46,6 @@ const char* optionalBlankLine ();
 bool nontrivial (const std::string&);
 int strippedLength (const std::string&);
 const std::string obfuscateText (const std::string&);
-void replace_positional (std::string&, const std::string&, const std::string&);
 
 #endif
 ////////////////////////////////////////////////////////////////////////////////