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;