Index: src/ResolvExpr/Alternative.h
===================================================================
--- src/ResolvExpr/Alternative.h	(revision 0ac366bb815a57d58e603b8e1ef744766f2255e4)
+++ src/ResolvExpr/Alternative.h	(revision 4a161bec79efbca86c77e4b7538c59ce8114edbe)
@@ -57,4 +57,9 @@
 	/// Moves all elements from src to the beginning of dst
 	void spliceBegin( AltList& dst, AltList& src );
+
+	static inline std::ostream & operator<<(std::ostream & os, const ResolvExpr::Alternative & alt) {
+		alt.print( os );
+		return os;
+	}
 } // namespace ResolvExpr