changeset 3551:4833e231e05b

[project @ 2000-02-03 02:30:44 by jwe]
author jwe
date Thu, 03 Feb 2000 02:30:44 +0000
parents bc492f4a94cb
children 41daa489833a
files src/oct-fstrm.h src/oct-hist.cc
diffstat 2 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/src/oct-fstrm.h	Thu Feb 03 01:36:31 2000 +0000
+++ b/src/oct-fstrm.h	Thu Feb 03 02:30:44 2000 +0000
@@ -70,7 +70,7 @@
 
   std::string nm;
 
-  fstream fs;
+  std::fstream fs;
 
   // No copying!
 
--- a/src/oct-hist.cc	Thu Feb 03 01:36:31 2000 +0000
+++ b/src/oct-hist.cc	Thu Feb 03 02:30:44 2000 +0000
@@ -114,7 +114,7 @@
 
   if (! env_file.empty ())
     {
-      fstream f (env_file.c_str (), (std::ios::in | std::ios::out));
+      std::fstream f (env_file.c_str (), (std::ios::in | std::ios::out));
 
       if (f)
 	{
@@ -227,7 +227,7 @@
 // caller should free the storage.
 
 static char *
-edit_history_readline (fstream& stream)
+edit_history_readline (std::fstream& stream)
 {
   char c;
   int line_len = 128;
@@ -405,7 +405,7 @@
 
   std::string name = file_ops::tempnam ("", "oct-");
 
-  fstream file (name.c_str (), std::ios::out);
+  std::fstream file (name.c_str (), std::ios::out);
 
   if (! file)
     {
@@ -457,7 +457,7 @@
   // Write the commands to the history file since parse_and_execute
   // disables command line history while it executes.
 
-  fstream file (name.c_str (), std::ios::in);
+  std::fstream file (name.c_str (), std::ios::in);
 
   char *line;
   int first = 1;