Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision 9b1804455725323756434d8300b833edeac008a7)
+++ src/GenPoly/Box.cc	(revision eb68ebbea8e9add55bcca3222113cb374c7110f9)
@@ -1298,11 +1298,4 @@
 		}
 
-		/// determines if `pref` is a prefix of `str`
-		bool isPrefix( const std::string & str, const std::string & pref ) {
-			if ( pref.size() > str.size() ) return false;
-			auto its = std::mismatch( pref.begin(), pref.end(), str.begin() );
-			return its.first == pref.end();
-		}
-
 		DeclarationWithType * Pass2::mutate( FunctionDecl *functionDecl ) {
 			functionDecl = safe_dynamic_cast< FunctionDecl * > ( handleDecl( functionDecl ) );