Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 3ff4c1e0a5bdf7684f93adc2524009552b75f2de)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision 080b0a1b9ea6f8e025d73f5d4a94ea745e9646f8)
@@ -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;