From 50993582ec0a679cbe9f4bc5cfb3fbf3a827833c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 3 Oct 2015 17:15:54 -0700
Subject: [PATCH] put break statement in else branh. Issue #230 (broken loop)

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/prime_generator.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/prime_generator.cpp b/src/util/prime_generator.cpp
index 0f2441455..6aef1305b 100644
--- a/src/util/prime_generator.cpp
+++ b/src/util/prime_generator.cpp
@@ -71,7 +71,6 @@ void prime_generator::process_next_k_numbers(uint64 k) {
                 break;
             }
         }
-        std::cout << "TODO:" << k1 << "\n";
         unsigned k2 = 0;
         for (; k1 < todo_sz; k1++, k2++) {
             todo[k2] = todo[k1];