Index: src/AST/Print.cpp
===================================================================
--- src/AST/Print.cpp	(revision 013b028c0a33a04da0b707cac29d64d448b9e545)
+++ src/AST/Print.cpp	(revision 8ec4a522d40e378e049e76cfcf19c4dc7de8a4a4)
@@ -21,4 +21,5 @@
 #include "Type.hpp"
 #include "TypeSubstitution.hpp"
+#include "CompilationState.h"
 
 #include "Common/utility.h" // for group_iterate
@@ -239,9 +240,11 @@
 
 		if ( node->result ) {
-			os << endl << indent << "... with resolved type:" << endl;
-			++indent;
-			os << indent;
-			node->result->accept( *this );
-			--indent;
+			if (!deterministic_output) {
+				os << endl << indent << "... with resolved type:" << endl;
+				++indent;
+				os << indent;
+				node->result->accept( *this );
+				--indent;
+			}
 		}
 
Index: src/SynTree/Expression.cc
===================================================================
--- src/SynTree/Expression.cc	(revision 013b028c0a33a04da0b707cac29d64d448b9e545)
+++ src/SynTree/Expression.cc	(revision 8ec4a522d40e378e049e76cfcf19c4dc7de8a4a4)
@@ -30,4 +30,5 @@
 #include "Type.h"                    // for Type, BasicType, Type::Qualifiers
 #include "TypeSubstitution.h"        // for TypeSubstitution
+#include "CompilationState.h"        // for deterministic_output
 
 #include "GenPoly/Lvalue.h"
@@ -71,7 +72,9 @@
 
 	if ( result ) {
-		os << std::endl << indent << "with resolved type:" << std::endl;
-		os << (indent+1);
-		result->print( os, indent+1 );
+		if (!deterministic_output) {
+			os << std::endl << indent << "with resolved type:" << std::endl;
+			os << (indent+1);
+			result->print( os, indent+1 );
+		}
 	}