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