Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 0dd9a5eb90cd65276b32272b8ae6f6266463e91b)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision 883c4d9d328a20f954086effbb3a3ac2cf689535)
@@ -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;