Changes in src/ResolvExpr/Alternative.h [ea6332d:50377a4]

File:

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

src/ResolvExpr/Alternative.h

@@ -39 +39 @@
                 ~Alternative();
 
-                void initialize( const Alternative &src, Alternative &dest );
-
-                void print( std::ostream &os, int indent = 0 ) const;
+                void print( std::ostream &os, Indenter indent = {} ) const;
 
                 Cost cost;