Index: src/ResolvExpr/Alternative.h
===================================================================
--- src/ResolvExpr/Alternative.h	(revision 490ff5c3cdf33976fd18d953a739387a1031d3c6)
+++ 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