diff src/input.cc @ 339:94f0f219a946

[project @ 1994-02-07 07:26:24 by jwe]
author jwe
date Mon, 07 Feb 1994 07:29:19 +0000
parents 82d30a23c979
children 7ea224e713cd
line wrap: on
line diff
--- a/src/input.cc	Mon Feb 07 07:21:43 1994 +0000
+++ b/src/input.cc	Mon Feb 07 07:29:19 1994 +0000
@@ -103,7 +103,7 @@
 int reading_script_file = 0;
 
 // If we are reading from an M-file, this is it.
-FILE *mf_instream = (FILE *) NULL;
+FILE *ff_instream = (FILE *) NULL;
 
 // Nonzero means we are using readline.
 int using_readline = 1;
@@ -224,7 +224,7 @@
     {
       FILE *curr_stream = rl_instream;
       if (reading_fcn_file || reading_script_file)
-	curr_stream = mf_instream;
+	curr_stream = ff_instream;
 
       assert (curr_stream != (FILE *) NULL);
 
@@ -283,7 +283,7 @@
     warning ("%s: no such file or directory", name);
 
   if (reading_fcn_file || reading_script_file)
-    mf_instream = instream;
+    ff_instream = instream;
   else
     rl_instream = instream;