Index: src/SynTree/ApplicationExpr.cc
===================================================================
--- src/SynTree/ApplicationExpr.cc	(revision d6681823cf43689609e83bcc9077750fba1c262d)
+++ src/SynTree/ApplicationExpr.cc	(revision 9554d9b8896c38886ce2b6bb9384a2f1927f81d6)
@@ -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() ) {