Changeset 181148 in git for factory/cf_map.cc

Timestamp:

May 15, 2006, 11:03:07 AM (18 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

f0daaa2ae00a1c211020bcbe4eca9c6fe7947a71

Parents:

1dc6163f5dbd22ee9839decb93a02494ac071aca

Message:

*hannes: ISTREAM, OSTREAM, CERR


git-svn-id: file:///usr/local/Singular/svn/trunk@9135 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/cf_map.cc (modified) (6 diffs)

factory/cf_map.cc

@@ -1 +1 @@
 /* emacs edit mode for this file is -*- C++ -*- */
-/* $Id: cf_map.cc,v 1.13 2006-01-31 09:40:48 pohl Exp $ */
+/* $Id: cf_map.cc,v 1.14 2006-05-15 09:03:04 Singular Exp $ */
 
 //{{{ docu
@@ -35 +35 @@
 
 #ifndef NOSTREAMIO
-//{{{ ostream & operator << ( ostream & s, const MapPair & p )
+//{{{ OSTREAM & operator << ( OSTREAM & s, const MapPair & p )
 //{{{ docu
 //
@@ -41 +41 @@
 //
 //}}}
-ostream &
-operator << ( ostream & s, const MapPair & p )
+OSTREAM &
+operator << ( OSTREAM & s, const MapPair & p )
 {
     s << p.var() << " -> " << p.subst();
@@ -49 +49 @@
 //}}}
 
-void MapPair::print( ostream&) const
+void MapPair::print( OSTREAM&) const
 {
 }
@@ -198 +198 @@
 
 #ifndef NOSTREAMIO
-//{{{ ostream & operator << ( ostream & s, const CFMap & m )
+//{{{ OSTREAM & operator << ( OSTREAM & s, const CFMap & m )
 //{{{ docu
 //
@@ -204 +204 @@
 //
 //}}}
-ostream &
-operator << ( ostream & s, const CFMap & m )
+OSTREAM &
+operator << ( OSTREAM & s, const CFMap & m )
 {
     m.P.print(s);