Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/SynTree/ApplicationExpr.cc

    r89231bc r9554d9b  
    6464
    6565void ApplicationExpr::print( std::ostream &os, int indent ) const {
    66         os << "Application of" << std::endl << std::string(indent, ' ');
     66        os << "Application of" << std::endl << std::string(indent+2, ' ');
    6767        function->print( os, indent+2 );
    6868        if ( ! args.empty() ) {
Note: See TracChangeset for help on using the changeset viewer.