Index: src/SynTree/ApplicationExpr.cc
===================================================================
--- src/SynTree/ApplicationExpr.cc	(revision 89231bca718ca9495bdc5dfa547e4f79ee18cff8)
+++ src/SynTree/ApplicationExpr.cc	(revision 70f89d00f25700f0fc226d5210840f0199c6d9f0)
@@ -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() ) {