diff src/parse.y @ 3531:97cf542676e1

[project @ 2000-02-02 11:30:40 by jwe]
author jwe
date Wed, 02 Feb 2000 11:33:32 +0000
parents 6cfa474c5b99
children 096ad38d7ab5
line wrap: on
line diff
--- a/src/parse.y	Wed Feb 02 11:18:39 2000 +0000
+++ b/src/parse.y	Wed Feb 02 11:33:32 2000 +0000
@@ -2734,15 +2734,15 @@
 
       if (verbose)
 	{
-	  cout << "reading commands from " << s << " ... ";
+	  std::cout << "reading commands from " << s << " ... ";
 	  reading_startup_message_printed = true;
-	  cout.flush ();
+	  std::cout.flush ();
 	}
 
       parse_and_execute (f);
 
       if (verbose)
-	cout << "done." << endl;
+	std::cout << "done." << endl;
     }
   else if (warn_for)
     error ("%s: unable to open file `%s'", warn_for, s.c_str ());