Changes in src/ResolvExpr/Alternative.h [62194cb:4a161be]

File:

• src/ResolvExpr/Alternative.h (modified) (1 diff)

src/ResolvExpr/Alternative.h

@@ -57 +57 @@
         /// 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