cleanup in write_smt2 log messages (-bv and -mem are now default)

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 6bcd1f452dfa75987decc2ed46cdd4cba4176506..ddac6900920b47e312b40c8e8bbf3f66f2099736 100644 (file)
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -586,7 +586,7 @@ struct Smt2Worker
                        return;
                }
 
-               log_error("Unsupported cell type %s for cell %s.%s. (Maybe this cell type would be supported in -bv or -mem mode?)\n",
+               log_error("Unsupported cell type %s for cell %s.%s.\n",
                                log_id(cell->type), log_id(module), log_id(cell));
        }