From 19c69967a20a3f4465cb2ba71235506f067a2180 Mon Sep 17 00:00:00 2001
From: Richard Roberts <richard.jw.roberts@gmail.com>
Date: Wed, 14 Aug 2013 22:53:57 +0000
Subject: [PATCH] Printing number of threads in SolverComparer

---
 examples/SolverComparer.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/examples/SolverComparer.cpp b/examples/SolverComparer.cpp
index d695c4826..303020f19 100644
--- a/examples/SolverComparer.cpp
+++ b/examples/SolverComparer.cpp
@@ -184,8 +184,11 @@ int main(int argc, char *argv[]) {
   }
 
   std::auto_ptr<tbb::task_scheduler_init> init;
-  if(nThreads > 0)
+  if(nThreads > 0) {
+    cout << "Using " << nThreads << " threads" << endl;
     init.reset(new tbb::task_scheduler_init(nThreads));
+  } else
+    cout << "Using threads for all processors" << endl;
 
   // Run mode
   if(incremental)