From c4f7b4d0d49dd6a057b1b8abafdbd6ed9a181d9c Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Sat, 9 Nov 2013 13:55:01 -0800
Subject: [PATCH] remove duality junk on stdout

---
 src/duality/duality_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/duality/duality_solver.cpp b/src/duality/duality_solver.cpp
index 4437f0591..0043998d2 100644
--- a/src/duality/duality_solver.cpp
+++ b/src/duality/duality_solver.cpp
@@ -2107,7 +2107,7 @@ namespace Duality {
 		if(j < old_chs.size() && BaseName(chs[i]->Name.name().str()) == BaseName(old_chs[j]->Name.name().str()))
 		  cex_map[chs[i]] = old_chs[j++];
 		else {
-		  std::cout << "unmatched child: " << chs[i]->Name.name() << std::endl;
+		  std::cerr << "WARNING: duality: unmatched child: " << chs[i]->Name.name() << std::endl;
 		  cex_map[chs[i]] = 0;
 		}
 	      }