Index: src/SynTree/ApplicationExpr.cc
===================================================================
--- src/SynTree/ApplicationExpr.cc	(revision df626ebafe6de5b4ec1e48c73cde07ba2d8dd86a)
+++ src/SynTree/ApplicationExpr.cc	(revision 68195a628dc9339c2a4a40f3436aa4bfbcbbefb9)
@@ -68,16 +68,4 @@
 }
 
-void printInferParams( const InferredParams & inferParams, std::ostream &os, Indenter indent, int level ) {
-	if ( ! inferParams.empty() ) {
-		os << indent << "with inferred parameters " << level << ":" << std::endl;
-		for ( InferredParams::const_iterator i = inferParams.begin(); i != inferParams.end(); ++i ) {
-			os << indent+1;
-			Declaration::declFromId( i->second.decl )->printShort( os, indent+1 );
-			os << std::endl;
-			printInferParams( *i->second.inferParams, os, indent+1, level+1 );
-		} // for
-	} // if
-}
-
 void ApplicationExpr::print( std::ostream &os, Indenter indent ) const {
 	os << "Application of" << std::endl << indent+1;
@@ -88,5 +76,4 @@
 		printAll( args, os, indent+1 );
 	} // if
-	printInferParams( inferParams, os, indent+1, 0 );
 	Expression::print( os, indent );
 }
Index: src/SynTree/Expression.cc
===================================================================
--- src/SynTree/Expression.cc	(revision df626ebafe6de5b4ec1e48c73cde07ba2d8dd86a)
+++ src/SynTree/Expression.cc	(revision 68195a628dc9339c2a4a40f3436aa4bfbcbbefb9)
@@ -33,4 +33,16 @@
 #include "GenPoly/Lvalue.h"
 
+void printInferParams( const InferredParams & inferParams, std::ostream &os, Indenter indent, int level ) {
+	if ( ! inferParams.empty() ) {
+		os << indent << "with inferred parameters " << level << ":" << std::endl;
+		for ( InferredParams::const_iterator i = inferParams.begin(); i != inferParams.end(); ++i ) {
+			os << indent+1;
+			Declaration::declFromId( i->second.decl )->printShort( os, indent+1 );
+			os << std::endl;
+			printInferParams( *i->second.inferParams, os, indent+1, level+1 );
+		} // for
+	} // if
+}
+
 Expression::Expression() : result( 0 ), env( 0 ) {}
 
@@ -44,4 +56,6 @@
 
 void Expression::print( std::ostream &os, Indenter indent ) const {
+	printInferParams( inferParams, os, indent+1, 0 );
+
 	if ( env ) {
 		os << std::endl << indent << "... with environment:" << std::endl;