diff src/pager.cc @ 3544:71bd2d124119

[project @ 2000-02-02 21:02:31 by jwe]
author jwe
date Wed, 02 Feb 2000 21:02:41 +0000
parents e8fbc8c3d6d9
children 4b1a93f83264
line wrap: on
line diff
--- a/src/pager.cc	Wed Feb 02 20:13:49 2000 +0000
+++ b/src/pager.cc	Wed Feb 02 21:02:41 2000 +0000
@@ -241,7 +241,7 @@
 	{
 	  do_sync (buf, len, bypass_pager);
 
-	  seekoff (0, ios::beg);
+	  seekoff (0, std::ios::beg);
 
 	  octave_diary.write (buf, len);
 	}
@@ -271,7 +271,7 @@
 	external_diary_file.write (eback (), len);
     }
 
-  seekoff (0, ios::beg);
+  seekoff (0, std::ios::beg);
 
   return 0;
 }
@@ -381,7 +381,7 @@
 {
   close_diary_file ();
 
-  external_diary_file.open (diary_file.c_str (), ios::app);
+  external_diary_file.open (diary_file.c_str (), std::ios::app);
 
   if (! external_diary_file)
     error ("diary: can't open diary file `%s'", diary_file.c_str ());