--- tools/regression/compiler_status.cpp.old	Wed Jan 28 14:16:22 2004
+++ tools/regression/compiler_status.cpp.new	Wed Jan 28 14:16:09 2004
@@ -106,7 +106,7 @@
       string bookmark( line.substr( pos+1 ) );
 
 //      std::cout << "inserting \"" << key << "\",\"" << bookmark << "\"\n";
-      notes.insert( std::make_pair( key, bookmark ) );
+      notes.insert( notes_map::value_type( key, bookmark ) );
     }
   }