diff src/file-io.cc @ 776:f19fb97286c6

[project @ 1994-10-05 22:54:26 by jwe]
author jwe
date Wed, 05 Oct 1994 22:54:26 +0000
parents b7a29e2ee1ae
children b57450f85c07
line wrap: on
line diff
--- a/src/file-io.cc	Wed Oct 05 22:46:06 1994 +0000
+++ b/src/file-io.cc	Wed Oct 05 22:54:26 1994 +0000
@@ -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);