From 46e0ff486b8450ba6e2acf9f0473bf2ab32a4027 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 23 Aug 2015 14:25:11 -0700
Subject: [PATCH] fix wcnf front-end and unsat case in pd

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

diff --git a/src/shell/opt_frontend.cpp b/src/shell/opt_frontend.cpp
index febb539c1..fa8da4e12 100644
--- a/src/shell/opt_frontend.cpp
+++ b/src/shell/opt_frontend.cpp
@@ -158,7 +158,6 @@ public:
             else if (*in == 'p') {
                 ++in;
                 parse_spec(num_vars, num_clauses, max_weight);
-                std::cout << "v " << num_vars << " c " << num_clauses << " w " << max_weight << "\n";
             }
             else {
                 unsigned weight = 0;