Changes in src/SynTree/TypeSubstitution.cc [5382492:4040425]

File:

• src/SynTree/TypeSubstitution.cc (modified) (3 diffs)

src/SynTree/TypeSubstitution.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TypeSubstitution.cc --
+// TypeSubstitution.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Apr 26 11:15:29 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Mar  2 17:29:15 2016
 // Update Count     : 3
 //
@@ -96 +96 @@
         BoundVarsType::const_iterator bound = boundVars.find( inst->get_name() );
         if ( bound != boundVars.end() ) return inst;
-
+        
         TypeEnvType::const_iterator i = typeEnv.find( inst->get_name() );
         if ( i == typeEnv.end() ) {
@@ -217 +217 @@
 }
 
-std::ostream & operator<<( std::ostream & out, const TypeSubstitution & sub ) {
-        sub.print( out );
-        return out;
-}
-
-
 // Local Variables: //
 // tab-width: 4 //