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