Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 0dd9a5eb90cd65276b32272b8ae6f6266463e91b)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision f33eab74e86b57d5f42ec97c6c72a7734321c68c)
@@ -247,5 +247,5 @@
 				auto it = inferred.find( slot );
 				if ( it == inferred.end() ) {
-					std::cerr << "missing assertion " << slot << std::endl;
+					// std::cerr << "missing assertion " << slot << std::endl;
 					missingSlots.push_back(slot);
 					continue;