# HG changeset patch
# User jwe
# Date 781397666 0
# Node ID f19fb97286c63002b1bb0a405a22291d8f1b3cb7
# Parent  d1acd4a89bf79be798537fd9bc99f77b3304fa9d
[project @ 1994-10-05 22:54:26 by jwe]

diff --git a/src/file-io.cc b/src/file-io.cc
--- a/src/file-io.cc
+++ b/src/file-io.cc
@@ -1371,7 +1371,10 @@
       unlink (tmp_file);
 
       if (! string)
-	panic_impossible ();
+	{
+	  error ("%s: no string to scan", type); 
+	  return retval;
+	}
 
       int success = fputs (string, fptr);
       fflush (fptr);