diff --git a/src/util.cpp b/src/util.cpp
index 0aba1d928..0c0fb6473 100644
--- a/src/util.cpp
+++ b/src/util.cpp
@@ -269,33 +269,6 @@ bool nontrivial (const std::string& input)
   return false;
 }
 
-////////////////////////////////////////////////////////////////////////////////
-// Return the length, in characters, of the input, subtracting color control
-// codes.
-int strippedLength (const std::string& input)
-{
-  int length = input.length ();
-  bool inside = false;
-  int count = 0;
-  for (int i = 0; i < length; ++i)
-  {
-    if (inside)
-    {
-      if (input[i] == 'm')
-        inside = false;
-    }
-    else
-    {
-      if (input[i] == 033)
-        inside = true;
-      else
-        ++count;
-    }
-  }
-
-  return count;
-}
-
 ////////////////////////////////////////////////////////////////////////////////
 const char* optionalBlankLine ()
 {
diff --git a/src/util.h b/src/util.h
index d1257ea5d..a1b038ec5 100644
--- a/src/util.h
+++ b/src/util.h
@@ -61,7 +61,6 @@ const std::vector <std::string> extractParents (
 #endif
 
 bool nontrivial (const std::string&);
-int strippedLength (const std::string&);
 const char* optionalBlankLine ();
 void setHeaderUnderline (Table&);