diff src/file-io.cc @ 4587:7b957b442818

[project @ 2003-11-10 15:50:39 by jwe]
author jwe
date Mon, 10 Nov 2003 15:50:40 +0000
parents a4796ccde726
children 3a284f89aa41
line wrap: on
line diff
--- a/src/file-io.cc
+++ b/src/file-io.cc
@@ -688,8 +688,6 @@
 
       if (! error_state)
 	{
-	  std::string who;
-
 	  if (args(fmt_n).is_string ())
 	    {
 	      std::string fmt = args(fmt_n).string_value ();