Index: src/SynTree/ApplicationExpr.cc
===================================================================
--- src/SynTree/ApplicationExpr.cc	(revision 89231bca718ca9495bdc5dfa547e4f79ee18cff8)
+++ src/SynTree/ApplicationExpr.cc	(revision 2a7e29b9f4c8e0d554bac2d1b9356c11a4fbcaba)
@@ -64,5 +64,5 @@
 
 void ApplicationExpr::print( std::ostream &os, int indent ) const {
-	os << "Application of" << std::endl << std::string(indent, ' ');
+	os << "Application of" << std::endl << std::string(indent+2, ' ');
 	function->print( os, indent+2 );
 	if ( ! args.empty() ) {