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

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