diff --git a/search/WriteSpice.cc b/search/WriteSpice.cc
index 264202fc..5ec7d31c 100644
--- a/search/WriteSpice.cc
+++ b/search/WriteSpice.cc
@@ -58,10 +58,6 @@ void
 streamPrint(ofstream &stream,
 	    const char *fmt,
 	    ...) __attribute__((format (printf, 2, 3)));
-void
-stringPrint(string &str,
-	    const char *fmt,
-	    ...) __attribute__((format (printf, 2, 3)));
 
 ////////////////////////////////////////////////////////////////
 
@@ -928,19 +924,4 @@ streamPrint(ofstream &stream,
   va_end(args);
 }
 
-// print for c++ strings.
-void
-stringPrint(string &str,
-	    const char *fmt,
-	    ...)
-{
-  va_list args;
-  va_start(args, fmt);
-  char *result;
-  vasprintf(&result, fmt, args);
-  str = result;
-  free(result);
-  va_end(args);
-}
-
 } // namespace