Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision 9b1804455725323756434d8300b833edeac008a7)
+++ src/GenPoly/Box.cc	(revision b3f252a219989f7ab8f2f00efbcad32b69910b55)
@@ -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 ) );