Index: src/AST/Print.cpp
===================================================================
--- src/AST/Print.cpp	(revision 13d33a758fd4097ca7b39a0687501ef7853332a1)
+++ 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;
+			}
 		}