Index: src/CodeTools/TrackLoc.cc
===================================================================
--- src/CodeTools/TrackLoc.cc	(revision 08fc48f4a5c70b7f3e402da3afef2763f754ff3a)
+++ src/CodeTools/TrackLoc.cc	(revision 80ac42dcb6d8ee04ca42836f7c2d59cbcc65bb01)
@@ -33,9 +33,4 @@
 
 namespace CodeTools {
-
-	std::ostream & operator<<(std::ostream & out, CodeLocation const & loc) {
-		return out << loc.filename << '[' << loc.linenumber << ']';
-	}
-
 	class LocationPrinter {
 		size_t printLevel;
@@ -95,5 +90,4 @@
 		acceptAll( translationUnit, printer );
 	}
-
 } // namespace CodeTools
 
